Distributed Explicit Bounded LTL Model Checking
Automated formal verification becomes a significant part of an industrial design process. Favourite formal verification method model checking is strongly limited by the size of the model of the verified system. It suffers from the so called state explosion problem. We propose to fight this probl...
Uložené v:
| Vydané v: | Electronic notes in theoretical computer science Ročník 89; číslo 1; s. 33 - 50 |
|---|---|
| Hlavný autor: | |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
Elsevier B.V
01.09.2003
|
| ISSN: | 1571-0661, 1571-0661 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
Buďte prvý, kto okomentuje tento záznam!