UPPAAL Specification Language

A[] p (AG p)

E<> p (EF p)

p::= a.l | gd | gc | p and p |

p or p | not p | p imply p |

( p )

clock guards

data guards

process location

Previous slide

Next slide

Back to first slide

View graphic version