1 paper
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…