A Verification Method for LOTOS Specifications and its Application.
Norio ShiratoriHiroaki KaminagaKaoru TakahashiShoichi NoguchiPublished in: PSTV (1989)
Keyphrases
- verification method
- temporal logic
- formal specification language
- model checking
- formal specification
- concurrent systems
- bounded model checking
- transition systems
- reactive systems
- formal verification
- finite state machines
- software engineering
- databases
- constraint propagation
- temporal ordering
- case study
- computer vision
- search engine
- information retrieval