✦ LIBER ✦

An industrial application of symbolic model checking

✍ Scribed by Kammüller, Florian ;Preibusch, Sören

Publisher: Springer-Verlag
Year: 2007
Tongue: German
Weight: 374 KB
Volume: 22
Category: Article
ISSN: 0178-3564
DOI: 10.1007/s00450-007-0032-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Symbolic Model Checking of Software

✍ Flavio Lerda; Nishant Sinha; Michael Theobald 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 978 KB

Can American Checkers be Solved by Means

Can American Checkers be Solved by Means of Symbolic Model Checking?

✍ Michael Baldamus; Klaus Schneider; Michael Wenz; Roberto Ziller 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 213 KB

Model checking hybrid logics (with an ap

Model checking hybrid logics (with an application to semistructured data)

✍ Massimo Franceschet; Maarten de Rijke 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 259 KB

Verification of a logically controlled,

Verification of a logically controlled, solids transport system using symbolic model checking

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

Application of process modelling - an in

Application of process modelling - an industrial view

✍ D.M. Petty 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 695 KB

Symbolic model checking of extended fini

Symbolic model checking of extended finite state machines with linear constraints over integer variables

✍ Takashi Takenaka; Kozo Okano; Teruo Higashino; Kenichi Taniguchi 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 338 KB

## Abstract We propose a symbolic model checking algorithm for a class of extended finite state machines equipped with integer variables (FSM/int). An FSM/int has several constraints on variable assignments, such as a variable of FSM/int keeps its value until the control visits at the definition tr