Time-Bounded Verification of CTMCs against Real-Time Specifications.
Taolue ChenMarco DiciollaMarta Z. KwiatkowskaAlexandru MereacrePublished in: FORMATS (2011)
Keyphrases
- real time
- automated verification
- concurrent systems
- model checking
- bounded model checking
- formal verification
- asynchronous circuits
- learning algorithm
- computer vision
- high level
- delay insensitive
- low cost
- high speed
- signature verification
- vision system
- control flow
- face verification
- natural language
- data structure
- social networks
- databases