[Lecture Notes in Computer Science] Computer Aided Verification Volume 4590 || On Synthesizing Controllers from Bounded-Response Properties

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Aided Verification Volume 4590 || Algorithms for Interface Synthesis

✍ Damm, Werner; Hermanns, Holger 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 607 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Aided Verification Volume 4590 || The Why/Krakatoa/Caduceus Platform for Deductive Program Verification

✍ Damm, Werner; Hermanns, Holger 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 334 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Incremental and Complete Bounded Model Checking for Full PLTL

✍ Etessami, Kousha; Rajamani, Sriram K. 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 216 KB

This Volume Contains The Proceedings Of The International Conference On Computer Aided Veri?cation (cav), Held In Edinburgh, Scotland, July 6–10, 2005. Cav 2005 Was The Seventeenth In A Series Of Conferences Dedicated To The Advancement Of The Theory And Practice Of Computer-assisted Formal An- Ysis

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Algorithmic Algebraic Model Checking I: Challenges from Systems Biology

✍ Etessami, Kousha; Rajamani, Sriram K. 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 230 KB

This Volume Contains The Proceedings Of The International Conference On Computer Aided Veri?cation (cav), Held In Edinburgh, Scotland, July 6–10, 2005. Cav 2005 Was The Seventeenth In A Series Of Conferences Dedicated To The Advancement Of The Theory And Practice Of Computer-assisted Formal An- Ysis

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Aided Verification Volume 5643 || Priority Scheduling of Distributed Systems Based on Model Checking

✍ Bouajjani, Ahmed; Maler, Oded 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 234 KB

This Book Constitutes The Refereed Proceedings Of The 21st International Conference On Computer Aided Verification, Cav 2009, Held In Grenoble, France, In June/july 2009. The 36 Revised Full Papers Presented Together With 16 Tool Papers And 4 Invited Talks And 4 Invited Tutorials Were Carefully Revi

[Lecture Notes in Computer Science] Para

[Lecture Notes in Computer Science] Parallel Problem Solving from Nature - PPSN XII Volume 7491 || Controlling Overfitting in Symbolic Regression Based on a Bias/Variance Error Decomposition

✍ Coello, Carlos A. Coello; Cutello, Vincenzo; Deb, Kalyanmoy; Forrest, Stephanie; 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 188 KB