Development of a Verification Method for Timed Function Blocks Using ESDT and SMV.
Myung Jun SongSeo Ryong KooPoong-Hyun SeongPublished in: HASE (2004)
Keyphrases
- verification method
- model checking
- temporal logic
- timed automata
- case study
- software engineering
- information processing
- petri net
- development process
- feature vectors
- real time
- multiscale
- discrete event
- piecewise linear
- design principles
- project management
- multi agent systems
- multiresolution
- knowledge based systems
- decision support
- open source
- object oriented