Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/b107194zbMath1087.68600OpenAlexW2497867240MaRDI QIDQ5703779

George C. Necula, Westley Weimer

Publication date: 10 November 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b107194

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (6)

Symbolic automata for representing big code ⋮ Temporal logic specification mining of programs ⋮ Discriminating Traces with Time ⋮ Chosen-Ciphertext Security from Subset Sum ⋮ Grey-Box Checking ⋮ Unnamed Item

Uses Software

• SIMPLIFY
• Eraser
• CCured

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems