Next:
Properties to verify
Up:
Verification using LOTOS
Previous:
Finite model
Validation process
Properties to verify
Formalizing the properties
The verification toolbox
The verification
