Publication:2763694
From MaRDI portal
zbMath0987.68849MaRDI QIDQ2763694
Michael Huth, David A. Schmidt, Radha Jagadeesan
Publication date: 22 January 2002
03B45: Modal logic (including the logic of norms)
68U99: Computing methodologies and applications
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Model-Checking View-Based Partial Specifications, Compositional Specification in Rewriting Logic, A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting, Parametric and Quantitative Extensions of Modal Transition Systems, Refinement of Kripke Models for Dynamics, Multi-valued model checking games, Improved model checking of hierarchical systems, A formal model for service-oriented interactions, Three-valued abstraction for probabilistic systems, Modal transition systems with weight intervals, On the consistency, expressiveness, and precision of partial modeling formalisms, EXPTIME-completeness of thorough refinement on modal transition systems, An abstract interpretation toolkit for \(\mu\)CRL, On model checking multiple hybrid views, 3-valued abstraction: More precision at less cost, Temporal-logic property preservation under Z refinement, Static analysis of topology-dependent broadcast networks, Compositional verification and 3-valued abstractions join forces, Model checking of linear-time properties in multi-valued systems, Refinement checking on parametric modal transition systems, Combining search space partition and abstraction for LTL model checking, Incompleteness of states w.r.t. traces in model checking, A semantic framework for the abstract model checking of tccp programs, On finite-state approximants for probabilistic computation tree logic, When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus, On the Complexity of Semantic Self-minimization, On Abstraction of Probabilistic Systems, Abstraction and Abstraction Refinement, Bonsai: Cutting Models Down to Size, Automatic Synthesis of Assumptions for Compositional Model Checking, Static Analysis Techniques for Parameterised Boolean Equation Systems
Uses Software
