✦ LIBER ✦

Model checking Duration Calculus: a practical approach

✍ Scribed by Roland Meyer; Johannes Faber; Jochen Hoenicke; Andrey Rybalchenko

Publisher: Springer
Year: 2008
Tongue: English
Weight: 469 KB
Volume: 20
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s00165-008-0082-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model-checking dense-time Duration Calcu

Model-checking dense-time Duration Calculus

✍ Martin Fränzle 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 237 KB

A graphical μ-calculus and local model c

A graphical μ-calculus and local model checking

✍ Huimin Lin 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 556 KB

MODEL ORDER SELECTION: A PRACTICAL APPRO

MODEL ORDER SELECTION: A PRACTICAL APPROACH

✍ Z. CHEN; C.K. MECHEFSKE 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 355 KB

A practical model order selection criterion for autoregressive processes is presented in this paper. The criterion was developed based on the normalised error between sample data and data generated by the model. The method is an excellent indicator of how well an autoregressive model "ts the availab

Probabilistic symbolic model checking wi

Probabilistic symbolic model checking with PRISM: a hybrid approach

✍ Marta Kwiatkowska; Gethin Norman; David Parker 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 405 KB

A logical encoding of the π-calculus: mo

A logical encoding of the π-calculus: model checking mobile processes using tabled resolution

✍ Ping Yang; C.R. Ramakrishnan; Scott A. Smolka 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 573 KB

A Satisfiability-Based Approach to Abstr

A Satisfiability-Based Approach to Abstraction Refinement in Model Checking

✍ Bing Li; Chao Wang; Fabio Somenzi 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 148 KB