Please come talk to me about specification mining

1
It also works well in practice. Come talk
to me!
irp-george.slic

• Please come talk to me about specification
  mining!

front-end
(start)
random
interpretation
framework that supports
open
verifier
java
byte
certifying
compiler for
C
code
analysis of
x86
Assuming paragraph two represents error traces
1. the ) proof 2. to ) code 3. safety ) proof
unsound
1,831 sequence pairs 1. the ) the 2. the )
code 3. of ) code
proof- carrying