A Toolbox for the Verification of LOTOS Programs.
Jean-Claude FernandezHubert GaravelLaurent MounierAnne RasseCarlos RodriguezJoseph SifakisPublished in: ICSE (1992)
Keyphrases
- symbolic execution
- hardware designs
- model checking
- computer programs
- concurrent systems
- software package
- formal verification
- automatic programming
- temporal ordering
- java programs
- artificial intelligence
- face verification
- constraint propagation
- control structures
- provably correct
- verification method
- information technology
- image sequences