Automated technology for verification and analysis : 19th...

Main
Computers
Automated technology for verification...

Automated technology for verification and analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021, proceedings

(Lecturer) Zhe Hou (editor), Vijay Ganesh (editor)

0 / 5.0

Sukakah Anda buku ini?

Bagaimana kualitas file yang diunduh?

Unduh buku untuk menilai kualitasnya

Bagaimana kualitas file yang diunduh?

Kategori:

Tahun:

2021

Penerbit:

Springer

Bahasa:

english

ISBN 10:

3030888851

ISBN 13:

9783030888855

Nama seri:

Lecture notes in computer science, 12971

File:

PDF, 13.94 MB

IPFS:

,

english, 2021

Membaca daring

Pengubahan menjadi sedang diproses

Pengubahan menjadi gagal

Mungkin Anda tertarik

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

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

Boris A. Trakhtenbrot (auth.), Arnon Avron, Nachum Dershowitz, Alexander Rabinovich (eds.) — Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Christian Colombo, Martin Leucker — Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, 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

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

Shuvendu K. Lahiri, Chao Wang — Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, 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

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

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

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

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

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

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

Hana Chockler, Georg Weissenbacher — Computer Aided Verification (30th International Conference)

Doron Peled (auth.), Rajeev Alur, Doron A. Peled (eds.) — Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee (auth.), Christel Baier, Holger Hermanns (eds.) — CONCUR 2006 – Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings

Simon N. Foley (auth.), Warren A. Hunt Jr., Fabio Somenzi (eds.) — Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings

Wan Fokkink, Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yaroslav S. Usenko (auth.), Luboš Brim, Mojmír Křetínský, Antonín Kučera, Petr Jančar (eds.) — CONCUR 2002 — Concurrency Theory: 13th International Conference Brno, Czech Republic, August 20–23, 2002 Proceedings

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

Boris A. Trakhtenbrot (auth.), Arnon Avron, Nachum Dershowitz, Alexander Rabinovich (eds.) — Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

J. -R. Abrial, Thai Son Hoang (auth.), John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun (eds.) — Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

Sriram K. Rajamani (auth.), Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan (eds.) — Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

Shuyuan Zhang, Sharad Malik, Rick McGeer (auth.), Supratik Chakraborty, Madhavan Mukund (eds.) — Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings

Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.) — Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Marsha Chechik, Jean-François Raskin (eds.) — Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proce

Istilah kunci