, Eclipse Modeling Framework
, Model checking contest @ petri nets home page
,
DiVinE 3.0 -An Explicit-State Model Checker for Multithreaded C & C++ Programs, Computer Aided Verification (CAV ), vol.8044, pp.863-868, 2013. ,
Modeling and Analyzing Wireless Sensor Networks with VeriSensor: an Integrated Workflow, Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), pp.24-47, 2013. ,
Symbolic model checking of stutter invariant properties using generalized testing automata, Tools and Algorithms for the Construction and Analysis of Systems (TACAS), vol.8413, pp.440-454, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01216559
Time petri nets analysis with tina, Quantitative Evaluation of Systems (QEST), pp.123-124, 2006. ,
Improvements in BDD-based reachability analysis of timed automata, Formal Methods Europe (FME), vol.2021, pp.318-343, 2001. ,
Rabbit: A tool for BDD-based verification of realtime systems, Computer Aided Verification (CAV), vol.2725, pp.122-125, 2003. ,
LTSmin: Distributed and symbolic reachability, Computer Aided Verification (CAV), pp.354-359, 2010. ,
,
VIS: A System for Verification and Synthesis ,
, Computer Aided Verification (CAV), vol.1102, pp.428-432, 1996.
The NEO protocol for large-scale distributed database systems: Modelling and initial verification, Application and Theory of Petri Nets (ICATPN), vol.6128, pp.145-164, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-01292604
Towards Distributed Software Model-Checking using Decision Diagrams, Computer Aided Verification (CAV), vol.8044, pp.830-845, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01215999
State Space Analysis using Symmetries on Decision Diagrams, Application of Concurrency to System Design (ACSD), pp.164-172, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-01270057
Data decision diagrams for Petri net analysis. Application and Theory of Petri Nets (ICATPN), pp.129-158, 2002. ,
URL : https://hal.archives-ouvertes.fr/hal-01544997
Hierarchical decision diagrams to exploit model structure. Formal Techniques for Networked and Distributed Systems (FORTE), pp.443-457, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-01488360
LTL translation improvements in Spot 1.0, International Journal on Critical Computer-Based Systems, vol.5, issue.1, pp.31-54, 2014. ,
Self-loop aggregation product a new hybrid approach to on-the-fly LTL model checking, Automated Technology for Verification and Analysis (ATVA), pp.336-350, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-01288132
Modalities for model checking: Branching time logic strikes back, Science of Computer Programming, vol.8, issue.3, pp.275-306, 1987. ,
Hierarchical Set Decision Diagrams and Automatic Saturation, Applications and Theory of Petri Nets (ICATPN), vol.5062, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-01303835
What good are digital clocks, Automata, Languages and Programming, pp.545-558, 1992. ,
Ctl model checking based on forward state traversal, Computer-Aided Design (ICCAD), pp.82-87, 1996. ,
An LTL Model Checker Based on Symbolic Observation Graphs, Application and Theory of Petri Nets (ICATPN), pp.288-306, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-01304897
Spot: a library for LTL model-checking ,
Towards synthesis of attack trees for supporting computer-aided risk analysis, Workshop on Formal Methods in the Development of Software (co-located with SEFM), 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01064645
Analyzing paths in time petri nets, Fundamenta Informaticae, vol.37, issue.3, pp.311-327, 1999. ,
Analysis of symbolic SCC hull algorithms, Proc. of FMCAD'02 (FMCAD'02), vol.2517, pp.88-105 ,
Hierarchical set decision diagrams and regular models. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), vol.5505, pp.1-15, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-01294397
, DSL Engineering -Designing, Implementing and Using Domain-Specific Languages. dslbook.org, 2013.
Automated Controllability and Synthesis with Hierarchical Set Decision Diagrams, Workshop on Discrete Event Systems (WODES), pp.291-296, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-01293801