Computer Aided Verification (30th International Conference)

Main
Computer Aided Verification (30th...

Computer Aided Verification (30th International Conference)

Hana Chockler, Georg Weissenbacher

0 / 5.0

Quanto ti piace questo libro?

Qual è la qualità del file?

Scarica il libro per la valutazione della qualità

Qual è la qualità dei file scaricati?

Volume:

Part I

Anno:

2018

Casa editrice:

Springer

Lingua:

english

ISBN 10:

3319961454

ISBN 13:

9783319961453

Collana:

Lecture Notes in Computer Science, 10981

File:

PDF, 31.34 MB

IPFS:

,

english, 2018

Leggi Online

La conversione in è in corso

La conversione in non è riuscita

Puoi essere interessati a

Dirk Beyer & Marieke Huisman — Tools and Algorithms for the Construction and Analysis of Systems

Amal Ahmed — Programming Languages and Systems

Isil Dillig & Serdar Tasiran — Computer Aided Verification

Tomáš Vojnar & Lijun Zhang — Tools and Algorithms for the Construction and Analysis of Systems

Hana Chockler & Georg Weissenbacher — Computer Aided Verification

Christian Colombo, Martin Leucker — Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Constantin Enea, Ruzica Piskac — Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

Tomáš Vojnar, Lijun Zhang — Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedi

Fabrizio Biondi, Thomas Given-Wilson, Axel Legay — Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Maurice H. ter Beek, Annabelle McIver, José N. Oliveira — Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza — Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Bernd Finkbeiner, Leonardo Mariani — Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

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

Emil Sekerinski, Nelma Moreira, José N. Oliveira, et al. — Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou — NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

Jyotirmoy Deshmukh, Dejan Ničković — Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

Tiziana Margaria, Bernhard Steffen — 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

Fritz Henglein (editor), Sharon Shoham (editor), Yakir Vizel (editor) — Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, ... (Lecture Notes in Computer Science, 12597)

Jan Friso Groote, Kim Guldstrand Larsen, (eds.) — Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Part I

(Lecturer) Zhe Hou (editor); Vijay Ganesh (editor) — Automated technology for verification and analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021, proceedings

Calinescu, Radu (editor) & Păsăreanu, Corina S. (editor) — Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

Armin Biere, Roderick Bloem (eds.) — 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

Daniel Kroening, Corina S. Păsăreanu (eds.) — Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Swarat Chaudhuri, Azadeh Farzan (eds.) — Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

Rocco De Nicola, Eva Kühn (eds.) — Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Cyrille Artho, Axel Legay, Doron Peled (eds.) — Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Clark Barrett and Misty Davies — NASA Formal Methods

Kunčak, Viktor; Majumdar, Rupak — Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Kunčak, Viktor; Majumdar, Rupak — Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Amal Ahmed — Programming Languages and Systems

Dirk Beyer, Marieke Huisman — Tools and Algorithms for the Construction and Analysis of Systems

Bernhard Steffen, Gerhard Woeginger — Computing and Software Science: State of the Art and Perspectives

Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink — Formal Methods

Hana Chockler, Georg Weissenbacher — Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.) — 25 Years of Model Checking: History, Achievements, Perspectives

Termini più frequenti