Systems and Software Verification, Model-Checking Techniques and Tools

By B. Bérard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, Laure Petrucci, P. Schnoebelen, P. McKenzie. 2001

627 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/38f75aafbcd2aa854b1c3df3007fa89ea1090854

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Li Li
2. Tégawendé F. Bissyandé
3. Alexandre David
4. Mike Papadakis
5. Siegfried Rasthofer
6. Alexandre Bartel
7. Kim Guldstrand Larsen
8. Yves Le Traon

Citations in the corpus

• A Tutorial on Uppaal (2004, background): “– Systems and Software Verification: Model-checking Techniques and Tools [20]: This book identifies 6 important tools and has a chapter on Uppaal.”
• The tool TINA – Construction of abstract state spaces for petri nets and time petri nets (2004, background): “Figure 7 shows a Time Petri net version of the classical level crossing example (Be´rard et al. 2001).”
• Static analysis of android apps: A systematic literature review (2017, background): “Model checking is the process of verifying whether a finite-state system has met a given specification [172].”