Using DimSpec for Bounded and Unbounded Software Model Checking
-
Autor:
Marko Kleine Büning, Tomás Balyo, Carsten Sinz
-
Quelle:
In Proc. of Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019