#### Filter Results:

#### Publication Type

#### Co-author

#### Publication Venue

Learn More

We present the formal speciication and veriication of a lip synchronisation algorithm using the real-time model checker UPPAAL. A number of speciications of this algorithm can be found in the literature, but this is the rst automatic veriication. We take a published speciication of the algorithm, code it up in the UPPAAL timed automata notation and then… (More)

We present the formal speciication and veriication of a lip synchronization algorithm using the real-time model checker UPPAAL. A number of speciications of this algorithm can be found in the literature, but this is the rst automatic veriication. We take a published speciication of the algorithm, code it up in the UPPAAL timed automata notation and then… (More)

- ‹
- 1
- ›