10/09/1999© 1999 CNRI, Guido van Rossum 1 Computer Programming for Everybody Guido van Rossum CNRI (Corporation for National Research Initiatives, Reston,
An Overview Of The Singularity Project
Program Verification -- new recipe for old problem Zhou Chaochen Institute of Software, CAS [email protected].
Nikolaj Bjørner and Leonardo de Moura Microsoft Research Microsoft Corporation McMaster University, November 28, 2007.
Satisfiability Modulo Theories and Network Verification
On Abstraction Refinement for Program Analyses in Datalog
Program Verification -- new recipe for old problem