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

Location “l” in process “a”

Föregående bild

Nästa bild

Tillbaka till första bilden

Visa grafisk version