Model Checking for Action Abstraction

DOI10.1007/978-3-540-78163-9_13MaRDI QIDQ5452711zbMATH OpenOpenAlexFDO

Authors Michael Huth, Harald Fecher

Publication date 4 April 2008

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

Full work available at URL https://doi.org/10.1007/978-3-540-78163-9_13

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2110619
• Model checking action system refinements
• Abstraction and abstraction refinement
• scientific article; zbMATH DE number 1948410
• scientific article; zbMATH DE number 1863177

Cites work

• A calculus of communicating systems
• Action refinement.
• Alternating tree automata, parity games, and modal -calculus
• Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 108007 (Why is no real title available?)
• scientific article; zbMATH DE number 1759610 (Why is no real title available?)
• Labelled transition systems as a Stone space
• Lattice Automata
• Latticed Simulation Relations and Games
• Model checking and abstraction to the aid of parameterized systems (a survey)
• Model Checking Games for Branching Time Logics
• Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise
• Refinement of actions and equivalence notions for concurrent systems
• Refinement sensitive formal semantics of state machines with persistent choice
• Results on the propositional \(\mu\)-calculus

Cited in

(4)

• Model checking action system refinements
• Model checking for action-based logics
• Action-based model checking: logic, automata, and reduction
• Model-checking view-based partial specifications

This page was built for publication: Model Checking for Action Abstraction

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