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...

Полное описание

Сохранить в:

Библиографические подробности
Соавтор:	SpringerLink (Online service)
Другие авторы:	Seshia, Sanjit A., Madhusudan, P.
Формат:	eКнига
Язык:	English
Опубликовано:	Berlin, Heidelberg Springer Berlin Heidelberg 2012.
Серии:	Lecture Notes in Computer Science 7358
Предметы:	Computer science. Computer hardware. Software engineering. Logic design. Artificial intelligence.
Online-ссылка:	Click here to view the full text content
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Схожие документы

Computer aided verification 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
Опубликовано: (2009)

Computer aided verification 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings /
Опубликовано: (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 /
Опубликовано: (2013)

Hardware and software : verification and testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
Опубликовано: (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 /
Опубликовано: (2014)

Unconventional computation and natural computation 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings /
Опубликовано: (2012)

Hardware and software: verification and testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
Опубликовано: (2012)

Verification, model checking, and abstract interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings /
Опубликовано: (2014)

Verification, model checking, and abstract interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings /
Опубликовано: (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 /
Опубликовано: (2012)

Practical aspects of declarative languages : 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings /
Опубликовано: (2012)

Hardware and software: verification and testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings /
Опубликовано: (2014)

Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings /
Опубликовано: (2012)

Computational logic in multi-agent systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings /
Опубликовано: (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 /
Опубликовано: (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 /
Опубликовано: (2012)

Interactive theorem proving third international conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. proceedings /
по: Beringer, Lennart
Опубликовано: (2012)

Logic programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings /
Опубликовано: (2009)

Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings /
Опубликовано: (2013)

Theory and applications of satisfiability testing - SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings /
Опубликовано: (2012)

Computer science logic 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings /
Опубликовано: (2010)

Automated deduction - CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings /
Опубликовано: (2013)

Computer aided verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /
Опубликовано: (2005)

Verification of object-oriented software. The key approach : foreword by K. Rustan M. Leino /
Опубликовано: (2007)

Functional and logic programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /
Опубликовано: (2012)

Foundations of information and knowledge systems : 7th International symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings /
Опубликовано: (2012)

Practical aspects of declarative languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings /
Опубликовано: (2011)

Runtime verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /
Опубликовано: (2013)

Relational and algebraic methods in computer science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings /
Опубликовано: (2012)

Advances in Computing Science ASIAN 2000 : 6th Asian Computing Science Conference Penang, Malaysia, November 25 27, 2000 Proceedings /
Опубликовано: (2000)

Unconventional computation 9th international conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings /
Опубликовано: (2010)

Deontic logic in computer science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings /
Опубликовано: (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
Опубликовано: (2005)

Logical aspects of computational linguistics : 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings /
Опубликовано: (2012)

Logic for programming, artificial intelligence, and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /
Опубликовано: (2012)

Runtime verification : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
Опубликовано: (2012)

Verified software: theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /
Опубликовано: (2014)

Declarative agent languages and technologies X : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers /
Опубликовано: (2013)

Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings /
Опубликовано: (2013)