GPUEXPLORE 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data
Gespeichert in:
| Veröffentlicht in: | SPIN (29. : 2023 : Paris) Model checking software |
|---|---|
| 1. Verfasser: | |
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
2023
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Titel | Jahr | Verfasser |
|---|---|---|
| WikiCoder: Learning to Write Knowledge-Powered Code T | 2023 | Matricon, héo |
| Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties | 2023 | Maderbacher, Benedikt |
| Efficient Implementation of LIMDDs for Quantum Circuit Simulation | 2023 | Vinkhuijzen, Lieuwe |
| Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks | 2023 | Israelsen, Bryant |
| Potency-Based Heuristic Search with Randomness for Explicit Model Checking | 2023 | Henriksen, Emil G. |
| Sound Concurrent Traces for Online Monitoring | 2023 | Soueidi, Chukri |
| Model Checking Futexes | 2023 | Evrard, Hugues |
| PARAGNOSIS: A Tool for Parallel Knowledge Compilation | 2023 | Dal, Giso H. |
| Accelerating Black Box Testing with Light-Weight Learning | 2023 | Fogler, Roi |
| Elimination of Detached Regions in Dependency Graph Verification | 2023 | Jensen, Peter Gjøl |
| GPUEXPLORE 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data | 2023 | Wijs, Anton |