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