Automated Verification of Complex Behavioral Models Using the SAL Model Checker

TitleAutomated Verification of Complex Behavioral Models Using the SAL Model Checker
Publication TypeConference Paper
Year of Publication2008
AuthorsSisak, Á., Pintér, G., and Majzik, I.
EditorTarnai, G., and Schnieder, E.
Conference NameFormal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008)
Date Published2008
PublisherL'Harmattan Kiadó
Conference LocationBudapest
URLhttp://mycite.omikk.bme.hu/doc/39780.pdf