The power of reachability testing for ti
β
Luca Aceto; Patricia Bouyer; Augusto BurgueΓ±o; Kim G Larsen
π
Article
π
2003
π
Elsevier Science
π
English
β 824 KB
The computational engine of the veriΓΏcation tool UPPAAL consists of a collection of e cient algorithms for the analysis of reachability properties of systems. Model-checking of properties other than plain reachability ones may currently be carried out in such a tool as follows. Given a property to m