Verifying Linear Real-Time Logic Specifications.
Stefan AndreiAlbert M. K. ChengPublished in: RTSS (2007)
Keyphrases
- real time
- delay insensitive
- asynchronous circuits
- modal logic
- real time systems
- bounded model checking
- low cost
- logic programming
- moving target
- transition systems
- formal language
- operational semantics
- computational properties
- automated reasoning
- belief revision
- control system
- high level
- information systems
- learning algorithm