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.
フォーマット:	eBook
言語:	English
出版事項:	Berlin, Heidelberg Springer Berlin Heidelberg 2012.
シリーズ:	Lecture Notes in Computer Science 7358
主題:	Computer science. Computer hardware. Software engineering. Logic design. Artificial intelligence.
オンライン･アクセス:	Click here to view the full text content
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

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)