Automated Verification of Complex Behavioral Models Using the SAL Model Checker
| Title | Automated Verification of Complex Behavioral Models Using the SAL Model Checker |
| Publication Type | Conference Paper |
| Year of Publication | 2008 |
| Authors | Sisak, Á., Pintér, G., and Majzik, I. |
| Editor | Tarnai, G., and Schnieder, E. |
| Conference Name | Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008) |
| Date Published | 2008 |
| Publisher | L'Harmattan Kiadó |
| Conference Location | Budapest |
| URL | http://mycite.omikk.bme.hu/doc/39780.pdf |
