Specification of Schedulers Using the Modal-p Calculus.
Krishnan PadmanabhanPublished in: Aust. Comput. J. (1994)
Keyphrases
- transition systems
- model checking
- concurrent systems
- temporal logic
- provably correct
- formal language
- modal logic
- practical reasoning
- process algebra
- reactive systems
- scheduling algorithm
- formal specification
- control flow
- databases
- high level
- algebraic structure
- specification language
- asynchronous circuits
- formal methods
- formal verification
- real time
- knowledge base
- artificial intelligence
- neural network
- data sets