✦ LIBER ✦

Verification of a technical system model with linear temporal logic

✍ Scribed by A. N. Nepeivoda

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modeling and testing object-oriented dis

✍ F. Dietrich; X. Logean; J.-P. Hubaux 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 499 KB

Failure Diagnosis of Discrete-Event Syst

✍ S. Jiang; R. Kumar 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 317 KB

A Rewriting-Based Model Checker for the

✍ Bae, Kyungmin; Meseguer, José 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 316 KB

Verification of a logically controlled,

✍ Scott T. Probst; Gary J. Powers; D.E. Long; I. Moon 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 994 KB

Kripke modelling and verification of tem

✍ Gopinadh Sirigineedi; Antonios Tsourdos; Brian A. White; Rafał Żbikowski 📂 Article 📅 2011 🏛 Springer Netherlands 🌐 English ⚖ 563 KB

ESTIMATING POPULATION TRENDS WITH A LINE

✍ Sauer, John R.; Link, William A.; Royle, J. Andrew 📂 Article 📅 2004 🏛 University of California Press 🌐 English ⚖ 89 KB