Model checking / by Clarke, E. M., 1945-, Grumberg, Orna, Peled, Doron, 1962-

Model−checking CSP by A. W. Roscoe

Model Checking in Bits and Pieces by Kedar S. Namjoshi

Get full text

Causality-based Model Checking by Bernd Finkbeiner, Andrey Kupriyanov

“…Model checking is usually based on a comprehensive traversal of the state space. …”
Get full text

Model Checking Paxos in Spin by Giorgio Delzanno, Michele Tatarek, Riccardo Traverso

Get full text

On-the-fly Probabilistic Model Checking by Diego Latella, Michele Loreti, Mieke Massink

“…When s is a term of a process language, the model checking procedure can be executed ``on-the-fly'', driven by the syntactical structure of s. …”
Get full text

Model-Checking Process Equivalences by Martin Lange, Etienne Lozes, Manuel Vargas Guzmán

“…This allows model checking technology to be used for process equivalence checking. …”
Get full text

Teaching Model Checking to Undergraduates by Andreea Vescan, Militon Frentiu

“…One of the verification methods is model checking, shortly presented to the students in one lecture. …”
Get full text

An Introduction to Quantum Model Checking by Andrea Turrini

Subjects: “…model checking…”
Get full text

Model Checking in an Industrial Environment by Hensel, U, Fordran, E, Fruth, M, Shaoyu, H, Srinivasan, M

Central limit model checking by Bortolussi, L, Cardelli, L, Kwiatkowska, M, Laurenti, L

“…We consider probabilistic model checking for continuous-time Markov chains (CTMCs) induced from Stochastic Reaction Networks (SRNs) against a time-bounded fragment of Continuous Stochastic Logic (CSL) extended with reward operators. …”

Central limit model checking by Bortolussi, L, Cardelli, L, Kwiatkowska, M, Laurenti, L

“…We consider probabilistic model checking for continuous-time Markov chains (CTMCs) induced from Stochastic Reaction Networks against a fragment of Continuous Stochastic Logic (CSL) extended with reward operators. …”

Distributional probabilistic model checking by Elsayed-Aly, I, Parker, D, Feng, L

“…Probabilistic model checking provides formal guarantees for stochastic models relating to a wide range of quantitative properties, such as runtime, energy consumption or cost. …”

Model Checking for Interlocking Safety by Simpson, A

Local Search in Model Checking by Roscoe, A, Armstrong, P, Pragyesh

“…We introduce a new strategy for structuring large searches in model checking, called local search, as an alternative to depth-first and breadth-first search. …”

Local search in model checking by Roscoe, P, Pragyesh

Probabilistic model checking and autonomy by Kwiatkowska, M, Norman, G, Parker, D

“…In this article, we provide an overview of probabilistic model checking, focusing on models supported by the PRISM and PRISM-games model checkers. …”

Model checking Timed CSP by Armstrong, P, Lowe, G, Ouaknine, J, Roscoe, A

FO Model Checking of Interval Graphs by Robert Ganian, Petr Hlineny, Daniel Kral, Jan Obdrzalek, Jarett Schwartz, Jakub Teska

“…We study the computational complexity of the FO model checking problem on interval graphs, i.e., intersection graphs of intervals on the real line. …”
Get full text

Control in Boolean Networks With Model Checking by Laura Cifuentes-Fontanals, Laura Cifuentes-Fontanals, Elisa Tonello, Heike Siebert

Subjects: Get full text