Modal transition systems: A foundation for three-valued program analysis

DOI10.1007/3-540-45309-1_11MaRDI QIDQ2763694zbMATH OpenFDO

Authors Michael Huth, Radha Jagadeesan, David A. Schmidt

Publication date 22 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45309-1_11

zbMATH Keywords

Kripke modal transition systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• 30 years of modal transition systems: survey of extensions and analysis
• scientific article; zbMATH DE number 2102712
• scientific article; zbMATH DE number 2086523
• scientific article; zbMATH DE number 1953032
• scientific article; zbMATH DE number 1863177

Cited in

(34)

• 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
• 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
• 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
• Revising system specifications in temporal logic
• On the consistency, expressiveness, and precision of partial modeling formalisms
• On tolerance of discrete systems with respect to transition perturbations
• EXPTIME-completeness of thorough refinement on modal transition systems
• The modal logic of abstraction refinement
• An abstract interpretation toolkit for CRL
• On model checking multiple hybrid views
• 3-valued abstraction: More precision at less cost

Describes a project that uses

Uses Software

• JoCaml
• Alcoa

This page was built for publication: Modal transition systems: A foundation for three-valued program analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2763694)