𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Computational complexity of linear constraints over the integers

✍ Scribed by Jonsson, Peter; Lööw, Tomas


Book ID
122915394
Publisher
Elsevier Science
Year
2013
Tongue
English
Weight
346 KB
Volume
195
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Symbolic model checking of extended fini
✍ 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