VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution)

von Darke, Priyanka
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)

VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution)

von Afzal, Mohammad
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2020)