Timed Component-Interaction Automata for Specification and Verification of Real-Time Reactive Systems.
Yangli JiaZhoujun LiZhenling ZhangPublished in: CSSE (2) (2008)
Keyphrases
- reactive systems
- model checking
- timed automata
- real time
- finite state machines
- temporal logic
- petri net
- formal methods
- formal verification
- real time systems
- transition systems
- verification method
- formal specification
- colored petri nets
- information flow
- asynchronous circuits
- state machines
- concurrent systems
- control flow
- high level
- case study
- regular expressions
- software components
- open source
- machine learning
- data mining