Search - Archive ouverte HAL Access content directly

Filter your results

5 Results
Image document

Kong: a Tool to Squash Concurrent Places

Nicolas Amat , Louis Chauvet
43rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2022), Jun 2022, Bergen, Norway. ⟨10.1007/978-3-031-06653-5_6⟩
Conference papers hal-03614426v1
Image document

Property Directed Reachability for Generalized Petri Nets

Nicolas Amat , Silvano Dal Zilio , Thomas Hujsa
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2022, Apr 2022, Munich, Germany. ⟨10.1007/978-3-030-99524-9_28⟩
Conference papers hal-03545594v1
Image document

On the Combination of Polyhedral Abstraction and SMT-based Model Checking for Petri nets

Nicolas Amat , Bernard Berthomieu , Silvano Dal Zilio
42rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2021), Jun 2021, Paris (virtual), France. ⟨10.1007/978-3-030-76983-3_9⟩
Conference papers hal-03202111v1
Image document

Accelerating the Computation of Dead and Concurrent Places using Reductions

Nicolas Amat , Silvano Dal Zilio , Didier Le Botlan
27th International SPIN Symposium on Model Checking of Software, Jul 2021, Aarhus, Denmark. ⟨10.1007/978-3-030-84629-9_3⟩
Conference papers hal-03268388v1
Image document

A Polyhedral Abstraction for Petri nets and its Application to SMT-Based Model Checking

Nicolas Amat , Bernard Berthomieu , Silvano Dal Zilio
Fundamenta Informaticae, 2022, 187 (2-4), pp.103-138. ⟨10.3233/FI-222134⟩
Journal articles hal-03455697v2