Cover Image

QR Code

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefu...

Full description

Corporate Author:	SpringerLink (Online service)
Other Authors:	Dillig, Isil. (Editor, http://id.loc.gov/vocabulary/relators/edt), Tasiran, Serdar. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2019.
Edition:	1st ed. 2019.
Series:	Theoretical Computer Science and General Issues ; 11561
Subjects:	Software engineering. Programming languages (Electronic computers). Computers. Artificial intelligence. Computer simulation. Computer organization. Software Engineering. Programming Languages, Compilers, Interpreters. Theory of Computation. Artificial Intelligence. Simulation and Modeling. Computer Systems Organization and Communication Networks.
Online Access:	https://doi.org/10.1007/978-3-030-25540-4

Similar Items

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II / edited by Isil Dillig, Serdar Tasiran.
Published: (2019)

Advanced Hybrid Information Processing Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part II / edited by Guan Gui, Lin Yun.
Published: (2019)

Logic-Based Program Synthesis and Transformation 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers / edited by Maurizio Gabbrielli.
Published: (2020)

Bio-Inspired Computing -- Theories and Applications 10th International Conference, BIC-TA 2015 Hefei, China, September 25-28, 2015, Proceedings / edited by Maoguo Gong, Pan Linqiang, Song Tao, Ke Tang, Xingyi Zhang.
Published: (2015)

Artificial Life and Intelligent Agents First International Symposium, ALIA 2014, Bangor, UK, November 5-6, 2014. Revised Selected Papers / edited by Christopher J. Headleand, William J. Teahan, Llyr Ap Cenydd.
Published: (2015)

Cultural Diversity for Virtual Characters Investigating Behavioral Aspects across Cultures / by Birgit Endrass.
by: Endrass, Birgit., et al.
Published: (2014)

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I / edited by Alexandra Silva, K. Rustan M. Leino.
Published: (2021)

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II / edited by Alexandra Silva, K. Rustan M. Leino.
Published: (2021)

Anti-fragile ICT Systems by Kjell Jørgen Hole.
by: Hole, Kjell Jørgen., et al.
Published: (2016)

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings / edited by Yamine Ait-Ameur, Shengchao Qin.
Published: (2019)

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / edited by Shuvendu K. Lahiri, Chao Wang.
Published: (2020)

Machine Learning and Intelligent Communications 4th International Conference, MLICOM 2019, Nanjing, China, August 24–25, 2019, Proceedings / edited by Xiangping Bryce Zhai, Bing Chen, Kun Zhu.
Published: (2019)

Implementation and Application of Automata 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings / edited by Michal Hospodár, Galina Jirásková.
Published: (2019)

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings / edited by Kim Guldstrand Larsen, Tim Willemse.
Published: (2019)

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2008)

Ad Hoc Networks 11th EAI International Conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18–21, 2019, Proceedings / edited by Jun Zheng, Cheng Li, Peter Han Joo Chong, Weixiao Meng, Feng Yan.
Published: (2019)

Advances in Applied Self-Organizing Systems edited by Mikhail Prokopenko.
Published: (2013)

Industrial Networks and Intelligent Systems 14th EAI International Conference, INISCOM 2018, Da Nang, Vietnam, August 27–28, 2018, Proceedings / edited by Trung Q Duong, Nguyen-Son Vo.
Published: (2019)

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2020)

Machine Learning for Cyber Security Second International Conference, ML4CS 2019, Xi’an, China, September 19-21, 2019, Proceedings / edited by Xiaofeng Chen, Xinyi Huang, Jun Zhang.
Published: (2019)

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I / edited by Rupak Majumdar, Viktor Kunčak.
Published: (2017)

High Performance Computing for Computational Science – VECPAR 2018 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers / edited by Hermes Senger, Osni Marques, Rogerio Garcia, Tatiana Pinheiro de Brito, Rogério Iope, Silvio Stanzani, Veronica Gil-Costa.
Published: (2019)

Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers / edited by Lucio Grandinetti, Thomas Lippert, Nicolai Petkov.
Published: (2014)

Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part II / edited by Xuemai Gu, Gongliang Liu, Bo Li.
Published: (2018)

Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part I / edited by Xuemai Gu, Gongliang Liu, Bo Li.
Published: (2018)

Computer Aided Systems Theory – EUROCAST 2019 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17–22, 2019, Revised Selected Papers, Part I / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia.
Published: (2020)

Applications of Declarative Programming and Knowledge Management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers / edited by Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf.
Published: (2013)

Artificial Intelligence for Communications and Networks First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I / edited by Shuai Han, Liang Ye, Weixiao Meng.
Published: (2019)

Advances in Artificial Intelligence - IBERAMIA 2008 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings / edited by Hector Geffner, Rui Prada, Isabel Machado Alexandre, Nuno David.
Published: (2008)

Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings / edited by Bernd Finkbeiner, Geguang Pu, Lijun Zhang.
Published: (2015)

Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings / edited by Miguel Botto-Tobar, Julio Barzola-Monteses, Eduardo Santos-Baquerizo, Mayken Espinoza-Andaluz, Wendy Yánez-Pazmiño.
Published: (2019)

Intelligent Transport Systems. From Research and Development to the Market Uptake Third EAI International Conference, INTSYS 2019, Braga, Portugal, December 4–6, 2019 / edited by Ana Lúcia Martins, Joao Carlos Ferreira, Alexander Kocian.
Published: (2020)

Digitally Archiving Cultural Objects edited by Katsushi Ikeuchi, Daisuke Miyazaki.
Published: (2008)

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2018)

Dependable Software Engineering. Theories, Tools, and Applications 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings / edited by Jun Pang, Lijun Zhang.
Published: (2020)

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2020)

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings / edited by Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa.
Published: (2019)

Internet Science 6th International Conference, INSCI 2019, Perpignan, France, December 2–5, 2019, Proceedings / edited by Samira El Yacoubi, Franco Bagnoli, Giovanna Pacini.
Published: (2019)

Advanced Hybrid Information Processing Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part I / edited by Guan Gui, Lin Yun.
Published: (2019)

Engineering Psychology and Cognitive Ergonomics 16th International Conference, EPCE 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings / edited by Don Harris.
Published: (2019)