1 citations · 1 across the 6 of their papers we have counts for
1 paper · 2 filters
Cristina David, Daniel Kroening, Matt Lewis
Static analysers search for overapproximating proofs of safety commonly known as safety invariants. Fundamentally, such analysers summarise traces into sets of states, thus trading…