1.Previous
3.Next

*Action language
*Metric temporal logic
*Safety and liveness properties

References

External links

*
*
* of professor Alessandro Artale at the Free University of Bozen-Bolzano
* a genealogy, from the website of a library for model checking.
*

1.Previous
3.Next