A partial-order approach to the verification of concurrent systems: checking liveness properties.
Dominique BolignanoPublished in: CHARME (1995)
Keyphrases
- concurrent systems
- partial order
- temporal logic
- partially ordered
- model checking
- distributed systems
- process algebra
- total order
- formal specification
- transition systems
- petri net
- verification method
- totally ordered
- desirable properties
- lattice structure
- causal links
- conceptual graphs
- set theory
- logic programs
- formal methods
- association graph
- artificial intelligence
- case study
- information systems