Integrated Formal Methods
From MaRDI portal
Publication:5901610
DOI10.1007/b96106zbMath1196.68129OpenAlexW1531155000MaRDI QIDQ5901610
Edmund M. Clarke, Joël Ouaknine, Sagar Chaki, Nishant Sinha, Natasha Sharygina
Publication date: 7 May 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b96106
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (14)
Performance Model Checking Scenario-Aware Dataflow ⋮ Formal verification technique for grid service chain model and its application ⋮ Model checking with fairness assumptions using PAT ⋮ Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect ⋮ Compositional Specification in Rewriting Logic ⋮ A model checking-based approach for security policy verification of mobile systems ⋮ Parameter synthesis for hierarchical concurrent real-time systems ⋮ A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting ⋮ Partial order reduction for state/event LTL with application to component-interaction automata ⋮ Partial Order Reduction for State/Event LTL ⋮ Optimising the ProB model checker for B using partial order reduction ⋮ Test generation from state based use case models ⋮ Towards verification of computation orchestration ⋮ Egalitarian State-Transition Systems
Uses Software
This page was built for publication: Integrated Formal Methods