scientific article; zbMATH DE number 2080188

MaRDI QIDQ4472430zbMATH OpenFDO

Authors E. Allen Emerson

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1974/19740001.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 910719
• scientific article; zbMATH DE number 1633145
• scientific article; zbMATH DE number 1487860
• Model Checking – My 27-Year Quest to Overcome the State Explosion Problem
• Model checking

Cited in

(65)

• A partial approach to model checking
• Pragmatics of model checking: An STTT special section
• Model checking: a hardware design perspective
• Syntax-directed model checking of sequential programs
• Book review of: E. M. Clarke (ed.) et al., Handbook of model checking
• A proof theory for model checking
• Model checking, testing and verification working together
• Easy instances for model checking
• Model checking.
• scientific article; zbMATH DE number 1670777 (Why is no real title available?)
• scientific article; zbMATH DE number 1701755 (Why is no real title available?)
• Specification guidelines to avoid the state space explosion problem
• Moving Arrows and Four Model Checking Results
• scientific article; zbMATH DE number 438994 (Why is no real title available?)
• Explicit-state model checking
• Automatic verification of intermittent systems
• scientific article; zbMATH DE number 3872694 (Why is no real title available?)
• Linear-Time Model Checking: Automata Theory in Practice
• The Birth of Model Checking
• The Beginning of Model Checking: A Personal Perspective
• New Challenges in Model Checking
• Discriminative Model Checking
• Hardware acceleration for model checking
• UTP and temporal logic model checking
• scientific article; zbMATH DE number 88991 (Why is no real title available?)
• Model checking lattices: using and reasoning about information orders for abstraction
• scientific article; zbMATH DE number 2081113 (Why is no real title available?)
• scientific article; zbMATH DE number 1927558 (Why is no real title available?)
• scientific article; zbMATH DE number 1487860 (Why is no real title available?)
• scientific article; zbMATH DE number 1487867 (Why is no real title available?)
• scientific article; zbMATH DE number 1507201 (Why is no real title available?)
• scientific article; zbMATH DE number 1744970 (Why is no real title available?)
• scientific article; zbMATH DE number 1744972 (Why is no real title available?)
• scientific article; zbMATH DE number 1759602 (Why is no real title available?)
• scientific article; zbMATH DE number 1796148 (Why is no real title available?)
• scientific article; zbMATH DE number 1798181 (Why is no real title available?)
• scientific article; zbMATH DE number 1798186 (Why is no real title available?)
• Automatic verification of reduction techniques in higher order logic
• Model checking RAISE applicative specifications
• scientific article; zbMATH DE number 2086963 (Why is no real title available?)
• scientific article; zbMATH DE number 1852151 (Why is no real title available?)
• scientific article; zbMATH DE number 1903363 (Why is no real title available?)
• scientific article; zbMATH DE number 2102723 (Why is no real title available?)
• scientific article; zbMATH DE number 910719 (Why is no real title available?)
• scientific article; zbMATH DE number 1390251 (Why is no real title available?)
• Model checking in bits and pieces
• Quo vadis explicit-state model checking
• From EU projects to a family of model checkers. From Kandinsky to KandISTI
• Verification: Theory and Practice
• Model Checking Software
• Tools and Algorithms for the Construction and Analysis of Systems
• Database Theory - ICDT 2005
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Integration of a Software Model Checker into Isabelle
• Fundamental Approaches to Software Engineering
• Extending Model Checking with Dynamic Analysis
• Model Checking – My 27-Year Quest to Overcome the State Explosion Problem
• Verification, Model Checking, and Abstract Interpretation
• Computer Aided Verification
• Computer Aided Verification
• A theory of hints in model checking.
• Model checking: from hardware to software.
• Game-theoretic simulation checking tool
• Model checking dynamic memory allocation in operating systems
• From NuSMV to SPIN: Experiences with model checking flight guidance systems

This page was built for publication:

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