most citedMata, a Fast and Simple Finite Automata Library (Technical Report)

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2019

2LS: Heap Analysis and Memory Safety (Competition Contribution)

Viktor Malik, Martin Hruska, Peter Schrammel +1

2LS is a framework for analysis of sequential C programs that can verify and refute program assertions and termination. The 2LS framework is built upon the CPROVER infrastructure a…