Formal specification and verification of a real-time kernel.
Janusz GórskiAndrzej WardzinskiPublished in: RTS (1994)
Keyphrases
- formal specification
- model checking
- real time
- concurrent systems
- formal methods
- model checker
- specification languages
- specification language
- temporal logic
- object oriented design
- protocol specification
- process algebra
- reverse engineering
- data abstraction
- grid workflow
- support vector
- formal verification
- databases
- software components
- kernel function
- distributed systems
- feature space
- cooperative
- computation tree logic