Results 131 to 140 of about 25,570,341 (217)

NuSMV 2: An OpenSource Tool for Symbolic Model Checking

International Conference on Computer Aided Verification, 2002
A. Cimatti, E. Clarke, E. Giunchiglia, Fausto Giunchiglia, M. Pistore, Marco Roveri, R. Sebastiani, A. Tacchella   +7 more
semanticscholar   +1 more source

The Probabilistic Model Checking Landscape*

Logic in Computer Science, 2016
J. Katoen
semanticscholar   +1 more source

Model checking: recent improvements and applications. [PDF]

Int J Softw Tools Technol Transf, 2018
Bošnački D, Wijs A.
europepmc   +1 more source

Model checking programs

Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, 2000
W. Visser, K. Havelund, G. Brat, Seungjoon Park, Flavio Lerda   +4 more
semanticscholar   +1 more source

Parameterized model checking of rendezvous systems. [PDF]

Distrib Comput, 2018
Aminof B, Kotek T, Rubin S, Spegni F, Veith H.   +4 more
europepmc   +1 more source

LTSmin: High-Performance Language-Independent Model Checking

International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2015
G. Kant, A. Laarman, J. Meijer, J. Pol, S. Blom, T. V. Dijk   +5 more
semanticscholar   +1 more source

Algorithms for Model Checking HyperLTL and HyperCTL ^*

International Conference on Computer Aided Verification, 2015
B. Finkbeiner, M. Rabe, César Sánchez
semanticscholar   +1 more source