Experiences with specification and verification in LOTOS: a report on two case studies.
Carron KirkwoodMuffy ThomasPublished in: WIFT (1995)
Keyphrases
- case study
- formal verification
- temporal ordering
- asynchronous circuits
- formal methods
- lessons learned
- model checking
- protocol specification
- open source
- real world
- formal specification
- formal specification language
- knowledge management
- high level
- problem based learning
- conceptual model
- literature review
- knowledge based systems
- formal analysis
- software engineering
- verification method
- functional verification
- data mining
- real time