Improving saturation-based bounded model checking
Formal verification is becoming a fundamental step in assuring the correctness of safety-critical systems. Since these systems are often asynchronous and even distributed, their verification requires methods that can deal with huge or even infinite state spaces. Model checking is one of the current...
Elmentve itt :
| Szerzők: | |
|---|---|
| Dokumentumtípus: | Cikk |
| Megjelent: |
2016
|
| Sorozat: | Acta cybernetica
22 No. 3 |
| Kulcsszavak: | Aszinkron rendszerek - telítettség |
| Tárgyszavak: | |
| doi: | 10.14232/actacyb.22.3.2016.2 |
| Online Access: | http://acta.bibl.u-szeged.hu/40263 |