Automating formal proofs for reactive systems.

Daniel Ricketts, Valentin Robert, Dongseok Jang, Zachary Tatlock, Sorin Lerner

Browse the full PLDI paper archive.