Model checking /

Model checking /

57

Bibliographic Details
Main Authors:	Clarke, E. M., 1945-, Grumberg, Orna, Peled, Doron, 1962-
Format:
Language:	eng
Published:	Cambridge, MA : The MIT Press, 1999
Subjects:	Computer systems

Similar Items

Synthesis of Parametric Programs using Genetic Programming and Model Checking
by: Gal Katz, et al.
Published: (2014-02-01)

Software safety and security : tools for analysis and verification /
by: Hauptmann, Benedikt, et al.
Published: (2012)

Logics and languages for reliability and security /
by: Esparza, Javier, et al.
Published: (2010)

Abstraction refinement for large scale model checking /
by: 405051 Wang, Chao, et al.
Published: (2006)

Systems and software verification : model-checking techniques and tools /
by: Berard, Beatrice
Published: (2001)

A model checking agent for mobile short message service application /
by: Siti Dianah Abdul Bujang, 1984-, et al.
Published: (2010)

Computer system performance modeling in perspective : a tribute to the work of Professor Kenneth C. Sevcik /
by: Gelenbe, E., 1945-
Published: (2006)

Central limit model checking
by: Bortolussi, L, et al.
Published: (2018)

A model checking agent for mobile short message service application [electronic resource] /
by: Siti Dianah Abdul Bujang, 1984-, et al.
Published: (2010)

The Logic of Homophily Dynamics in Heterogeneous Networks: Axiomatization, Model Checking and Validity Checking
by: Xiling Luo
Published: (2023-08-01)

Teaching tools for grade enquiry and references checking
by: Maisarah Mohdar.
Published: (2009)

Towards constant bandwidth overhead integrity checking of untrusted data
by: Clarke, Dwaine E. (Dwaine Errol), 1976-
Published: (2006)

FO Model Checking of Interval Graphs
by: Robert Ganian, et al.
Published: (2015-12-01)

Improving scalability of exploratory model checking
by: Boulgakov, A
Published: (2016)

Using models to model-check recursive schemes
by: Sylvain Salvati, et al.
Published: (2015-06-01)

Model Checking Lower Bounds for Simple Graphs
by: Michael Lampis
Published: (2014-03-01)

Vehicle Check-In & Check-Out Management System (VCCMS)
by: Nuramira Natasha, Zainuddin
Published: (2023)

Faster Existential FO Model Checking on Posets
by: Jakub Gajarský, et al.
Published: (2015-12-01)

Parallel assignments in software model checking
by: Ouaknine, J
Published: (2006)

On the complexity of model checking counter automata
by: Haase, C
Published: (2012)

Higher-order model checking with traversals
by: Neatherway, R
Published: (2014)

Model Checking CTL is Almost Always Inherently Sequential
by: Olaf Beyersdorff, et al.
Published: (2011-05-01)

Geometric Model Checking of Continuous Space
by: Nick Bezhanishvili, et al.
Published: (2022-11-01)

Model Checking One-clock Priced Timed Automata
by: Patricia Bouyer, et al.
Published: (2008-06-01)

Real-Time Model-Checking: Parameters everywhere
by: Veronique Bruyere, et al.
Published: (2007-02-01)

The design of model checking agent for SMS management system
by: Selamat, Ali, et al.
Published: (2008)

Model-Checking Problems as a Basis for Parameterized Intractability
by: Joerg Flum, et al.
Published: (2005-03-01)

Model checking data-independent systems with arrays
by: Newcomb, T, et al.
Published: (2003)

Model checking approach to cancer systems biology
by: Tan, Chun Wei
Published: (2015)

Model checking software architecture design
by: Zhang, Jiexin, et al.
Published: (2013)

Model Checking Probabilistic Pushdown Automata
by: Javier Esparza, et al.
Published: (2006-03-01)

Declarative symbolic pure-logic model checking
by: Shlyakhter, Ilya, 1975-
Published: (2006)

Timed Automata Robustness Analysis via Model Checking
by: Jaroslav Bendík, et al.
Published: (2022-07-01)

Model Checking Temporal Properties of Recursive Probabilistic Programs
by: Tobias Winkler, et al.
Published: (2023-12-01)

Multi-Objective Model Checking of Markov Decision Processes
by: Kousha Etessami, et al.
Published: (2008-11-01)

Multi-core model checking algorithm development
by: Xu, Yi
Published: (2015)

Software Model Checking with Explicit Scheduler and Symbolic Threads
by: Alessandro Cimatti, et al.
Published: (2012-08-01)

Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
by: Makai Mann, et al.
Published: (2022-08-01)

Saturation methods for global model-checking pushdown systems
by: Hague, M
Published: (2009)

Antichains for the Automata-Based Approach to Model-Checking
by: Laurent Doyen, et al.
Published: (2009-03-01)