Tools and Algorithms for the Construction and Analysis of...

Main
Science (General) - International Conferences and Symposiums
Tools and Algorithms for the...

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 II

Jan Friso Groote, Kim Guldstrand Larsen, (eds.)

0 / 5.0

Որքա՞ն է ձեզ դուր եկել այս գիրքը:

Ինչպիսի՞ն է բեռնված ֆայլի որակը:

Բեռնեք գիրքը` գնահատելու դրա որակը

Ինչպիսի՞ն է բեռնված ֆայլերի որակը:

Կատեգորիաներ:

Science (General) - International Conferences and Symposiums

Հատոր:

Part II

Տարի:

2021

Հրատարակչություն:

Springer

Լեզու:

english

ISBN 10:

3030720128

ISBN 13:

9783030720124

Սերիաներ:

Lecture Notes in Computer Science, 12652

Ֆայլ:

PDF, 13.20 MB

IPFS:

,

english, 2021

Կարդալ Առցանց

Փոխարկումը դեպի կատարվում է

Փոխարկումը դեպի ձախողվել է

Ձեզ կարող է հետաքրքրել

Dirk Beyer & Marieke Huisman & Fabrice Kordon & Bernhard Steffen — Tools and Algorithms for the Construction and Analysis of Systems

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

Armin Biere & David Parker — Tools and Algorithms for the Construction and Analysis of Systems

Isil Dillig & Serdar Tasiran — Computer Aided Verification

Hana Chockler & Georg Weissenbacher — Computer Aided Verification

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

Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen — Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

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

Wolfgang Ahrendt, Heike Wehrheim — Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel — Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 19-21, 2020, Revised Selected Papers

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)

Chu-Min Li, Felip Manyà — Theory and Applications of Satisfiability Testing – SAT 2021

Dana Fisman, Grigore Rosu — Tools and Algorithms for the Construction and Analysis of Systems. 28th International Conference, TACAS 2022 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Munich, Germany, April 2–7, 2022, Part II

Sriram Sankaranarayanan, Natasha Sharygina, (eds.) — Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, Part II

Sriram Sankaranarayanan; Natasha Sharygina — Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Par

Sriram Sankaranarayanan, Natasha Sharygina — Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Paris, France, April 22–27, 2023 Proceedings, Part I

Sriram Sankaranarayanan; Natasha Sharygina — Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Par

Bernd Finkbeiner, Laura Kovács — Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, Part 1

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

Dragan Bošnački, Anton Wijs (eds.) — Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

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

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

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

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

Byron Cook (auth.), Werner Damm, Holger Hermanns (eds.) — Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

Rachid Guerraoui, Michał Kapałka (auth.), Ahmed Bouajjani, Oded Maler (eds.) — Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.) — NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

Christel Baier, Cesare Tinelli (eds.) — Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Հիմնական արտահայտություններ