NewEvery arXiv paper, its researchers & institutions — mapped.
papers

Publications (3)

cs.LO2007

Predicate Abstraction via Symbolic Decision Procedures

Shuvendu K. Lahiri, Thomas Ball, Byron Cook

cs.LO2016

T2: Temporal Property Verification

Marc Brockschmidt, Byron Cook, Samin Ishtiaq +2

cs.LO2015

Spatial Interpolants

Aws Albarghouthi, Josh Berdine, Byron Cook +1