Lecture Notes in Computer Science 89 Computer Aided Design ModellingSystems Engineering · Springer-Verlag · 1980

[Lecture Notes in Computer Science] Computer Aided Verification Volume 4144 ||Ball, Thomas; Jones, Robert B. · 2006

[Lecture Notes in Computer Science] Computer Aided Verification Volume 5643 ||Bouajjani, Ahmed; Maler, Oded · 2009

[Lecture Notes in Computer Science] Computer Aided Verification Volume 8559 ||Biere, Armin; Bloem, Roderick · 2014

[Lecture Notes in Computer Science] Computer Aided Verification Volume 4590 ||Damm, Werner; Hermanns, Holger · 2007

[Lecture Notes in Computer Science] Computer Aided Verification Volume 5123 ||Gupta, Aarti; Malik, Sharad · 2008

[Lecture Notes in Computer Science] Computer Aided Verification Volume 8044 ||Sharygina, Natasha; Veith, Helmut · 2013

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 ||Alur, Rajeev; Peled, Doron A. · 2004

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 ||Alur, Rajeev; Peled, Doron A. · 2004

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || Termination of Linear ProgramsAlur, Rajeev; Peled, Doron A. · 2004

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || DPLL(T): Fast Decision ProceduresAlur, Rajeev; Peled, Doron A. · 2004

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || Range Allocation for Separation LogicAlur, Rajeev; Peled, Doron A. · 2004

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || An Experimental Evaluation of Ground Decision ProceduresAlur, Rajeev; Peled, Doron A. · 2004

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || MCK: Model Checking the Logic of KnowledgeAlur, Rajeev; Peled, Doron A. · 2004

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || Zapato: Automatic Theorem Proving for Predicate Abstraction RefinementAlur, Rajeev; Peled, Doron A. · 2004