Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings /

Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings /

This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, held at Hanoi, Vietnam, in October 2013. The 27 regular papers, 3 short papers and 12 tool papers presented together with 3 invited talks were careful...

Description complète

Enregistré dans:

Détails bibliographiques
Collectivité auteur:	SpringerLink (Online service)
Autres auteurs:	Ogawa, Mizuhito, Hung, Dang
Format:	eBook
Langue:	English
Publié:	Cham Springer International Publishing 2013.
Collection:	Lecture Notes in Computer Science 8172
Sujets:	Computer science. Computer Communication Networks. Software engineering. Logic design.
Accès en ligne:	Click here to view the full text content
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Automated technology for verification and analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings /
Publié: (2012)

Automated technology for verification and analysis 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings /
Publié: (2010)

Automated technology for verification and analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings /
Publié: (2014)

Automated technology for verification and analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /

Automated technology for verification and analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /
par: Liu, Zhiming
Publié: (2009)

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

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

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

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

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

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

Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings /
Publié: (2013)

Theoretical aspects of computing - ICTAC 2005 : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Leveraging applications of formal methods, verification, and validation 4th international symposium on leveraging applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II /
Publié: (2010)

Leveraging applications of formal methods, verification, and validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I /
Publié: (2010)

Verification, induction, termination analysis festschrift for christoph walther on the occasion of his 60th birthday /
Publié: (2010)

Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
Publié: (2005)

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 /
Publié: (2014)

Runtime verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /
Publié: (2014)

Reliable software technologies - ada-europe 2010 15th ada-europe international conference on reliable software technologies, Valencia, Spain, June 14-18, 2010. Proceedings /
Publié: (2010)

Hardware and software: verification and testing 4th international haifa verification conference, HVC 2008, Haifa, Israel, october 27-30, 2008. proceedings /
Publié: (2009)

Reliable software technologies - Ada-Europe 2012 : 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings /
Publié: (2012)

Intelligent agents and multi-agent systems 11th pacific rim international conference on multi-agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings /
Publié: (2008)

Software engineering for resilient systems : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings /
Publié: (2013)

ECOOP 2013 - object-oriented programming : 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings /
Publié: (2013)

Verification, model checking, and abstract interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings /
Publié: (2010)

Runtime verification first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /
Publié: (2010)

Static analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings /
Publié: (2013)

Tools and algorithms for the construction and analysis of systems (vol. # 3440) 11th international conference, TACAS 2005, held as part of the joint european conference on theory and practice of software, ETAPS 2005, Ed
par: Halbwachs, Nicolas
Publié: (2005)

Coordination models and languages : 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings /
Publié: (2013)

Theory, practice, and applications of rules on the web : 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings /
Publié: (2013)

Runtime verification : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
Publié: (2015)

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 /
Publié: (2012)

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

Computing and combinatorics : 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings /
Publié: (2013)

Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
Publié: (2007)

Tools and algorithms for the construction and analysis of systems : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal.
par: Grumberg, Orna
Publié: (2007)

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

Software architecture : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings /
Publié: (2013)

Verification, model Checking, and abstract interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings /
Publié: (2011)