An action based framework for verifying logical and behavioural properties of concurrent systems

DOI10.1007/3-540-55179-4_5MaRDI QIDQ6493516

Stefania Gnesi, Gioia Ristori, Alessandro Fantechi, Rocco De Nicola

Publication date: 29 April 2024

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algèbre de processus et synchronisation
• Results on the propositional \(\mu\)-calculus
• Characterizing finite Kripke structures in propositional temporal logic
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• “Sometimes” and “not never” revisited
• Algebraic laws for nondeterminism and concurrency
• Branching time and abstraction in bisimulation semantics

This page was built for publication: An action based framework for verifying logical and behavioural properties of concurrent systems