A Graphical Interval Logic for Specifying Concurrent Systems.
Laura K. DillonGeorge KuttyLouise E. MoserP. M. Melliar-SmithY. S. RamakrishnaPublished in: ACM Trans. Softw. Eng. Methodol. (1994)
Keyphrases
- concurrent systems
- transition systems
- temporal logic
- distributed systems
- modal logic
- process algebra
- model checking
- formal specification
- asynchronous circuits
- predicate logic
- petri net
- logic programming
- classical logic
- case study
- type fuzzy logic systems
- proof theory
- automated reasoning
- model checker
- formal verification
- multi valued
- software engineering
- object oriented
- relational databases