Computer aided verification : 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /

Computer aided verification : 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /

This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in top...

Uloženo v:

Podrobná bibliografie
Korporativní autor:	SpringerLink (Online service)
Další autoři:	Seshia, Sanjit A., Madhusudan, P.
Médium:	E-kniha
Jazyk:	English
Vydáno:	Berlin, Heidelberg Springer Berlin Heidelberg 2012.
Edice:	Lecture Notes in Computer Science 7358
Témata:	Computer science. Computer hardware. Software engineering. Logic design. Artificial intelligence.
On-line přístup:	Click here to view the full text content
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

Podobné jednotky

Computer aided verification 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
Vydáno: (2009)

Computer aided verification 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings /
Vydáno: (2010)

Computer aided verification (vol. # 3576) : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Computer aided verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings /
Vydáno: (2013)

Hardware and software : verification and testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
Vydáno: (2013)

Computer aided verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings /
Vydáno: (2014)

Unconventional computation and natural computation 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings /
Vydáno: (2012)

Hardware and software: verification and testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
Vydáno: (2012)

Verification, model checking, and abstract interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings /
Vydáno: (2014)

Verification, model checking, and abstract interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings /
Vydáno: (2012)

Foundations of software science and computational structures : 15th International Conference, FOSSACS 2012, Held as Part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings /
Vydáno: (2012)

Practical aspects of declarative languages : 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings /
Vydáno: (2012)

Hardware and software: verification and testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings /
Vydáno: (2014)

Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings /
Vydáno: (2012)

Computational logic in multi-agent systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings /
Vydáno: (2012)

Leveraging applications of formal methods, verification and validation. Technologies for mastering change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /
Vydáno: (2012)

Leveraging applications of formal methods, verification and validation. Applications and case studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /
Vydáno: (2012)

Interactive theorem proving third international conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. proceedings /
Autor: Beringer, Lennart
Vydáno: (2012)

Logic programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings /
Vydáno: (2009)

Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings /
Vydáno: (2013)

Theory and applications of satisfiability testing - SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings /
Vydáno: (2012)

Computer science logic 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings /
Vydáno: (2010)

Automated deduction - CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings /
Vydáno: (2013)

Computer aided verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /
Vydáno: (2005)

Verification of object-oriented software. The key approach : foreword by K. Rustan M. Leino /
Vydáno: (2007)

Functional and logic programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /
Vydáno: (2012)

Foundations of information and knowledge systems : 7th International symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings /
Vydáno: (2012)

Practical aspects of declarative languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings /
Vydáno: (2011)

Runtime verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /
Vydáno: (2013)

Relational and algebraic methods in computer science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings /
Vydáno: (2012)

Advances in Computing Science ASIAN 2000 : 6th Asian Computing Science Conference Penang, Malaysia, November 25 27, 2000 Proceedings /
Vydáno: (2000)

Unconventional computation 9th international conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings /
Vydáno: (2010)

Deontic logic in computer science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings /
Vydáno: (2012)

Computer aided systems theory - EUROCAST 2005 10th International Conference on computer aided systems theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers
Vydáno: (2005)

Logical aspects of computational linguistics : 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings /
Vydáno: (2012)

Logic for programming, artificial intelligence, and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /
Vydáno: (2012)

Runtime verification : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
Vydáno: (2012)

Verified software: theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /
Vydáno: (2014)

Declarative agent languages and technologies X : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers /
Vydáno: (2013)

Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings /
Vydáno: (2013)