next up previous
Next: Properties to verify Up: Verification using LOTOS Previous: Finite model

Validation process