Specification and verification of concurrent systems by causality and realizability.
Manfred BroyPublished in: Theor. Comput. Sci. (2023)
Keyphrases
- concurrent systems
- transition systems
- formal specification
- process algebra
- temporal logic
- model checking
- distributed systems
- petri net
- temporal ordering
- specification language
- formal verification
- causal relations
- asynchronous circuits
- model checker
- formal methods
- verification method
- causal relationships
- high level
- protocol specification
- neural network
- service oriented
- data mining