Formal Specification and Verification of Task Time Constraints for Real-Time Systems.
Ning GeMarc PantelXavier CrégutPublished in: ISoLA (2) (2012)
Keyphrases
- formal specification
- real time systems
- model checking
- concurrent systems
- formal methods
- timing constraints
- model checker
- process algebra
- object oriented design
- specification languages
- distributed systems
- real time
- protocol specification
- specification language
- formal verification
- embedded systems
- grid workflow
- temporal logic
- reverse engineering
- real time database systems
- high level
- asynchronous circuits
- software components
- computational intelligence
- relational databases
- databases