✦ LIBER ✦
On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties
✍ Scribed by Barnat, Jiří; Brim, Luboš; Ročkai, Petr
- Book ID
- 119366340
- Publisher
- Elsevier Science
- Year
- 2012
- Tongue
- English
- Weight
- 368 KB
- Volume
- 77
- Category
- Article
- ISSN
- 0167-6423
No coin nor oath required. For personal study only.