A Graphical Interval Logic Toolset for Verifying Concurrent Systems.
George KuttyY. S. RamakrishnaLouise E. MoserLaura K. DillonP. M. Melliar-SmithPublished in: CAV (1993)
Keyphrases
- concurrent systems
- model checking
- transition systems
- temporal logic
- model checker
- modal logic
- verification method
- process algebra
- distributed systems
- formal specification
- asynchronous circuits
- predicate logic
- petri net
- finite state
- development process
- formal verification
- classical logic
- logic programming
- model driven engineering
- modal operators
- set theory
- logical framework
- multi valued
- automated reasoning
- inference rules