Developing Model-Checking Mechanisms for ASSL: An Experience Report
Emil Vassev
◽
Mike Hinchey
Muhammad Sohaib Ayub
◽
Waqas Ur Rehman
◽
Junaid Haroon Siddiqui
Falko Dulat
◽
Joost-Pieter Katoen
◽
Viet Yen Nguyen
Matthew L. Bolton
◽
Ellen J. Bass
James Kapinski
◽
Alexandre Donze
◽
Flavio Lerda
◽
Hitashyam Maka
◽
Edmund Clarke
◽
...
2019 ◽
Vol 13
(3)
◽
pp. 1
ALIYU E. O.
◽
ADEWALE O. S.
◽
ADETUNMBI A. O.
◽
OJOKOH B. A.
◽
◽
...