NASA Formal Methods: 12th International Symposium, NFM...

Main
Computers
NASA Formal Methods: 12th International...

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou

0 / 0

دا کتاب تاسو ته څنګه خواښه شوه؟

د بار شوي فایل کیفیت څه دئ؟

تر څو چې د کتاب کیفیت آزمایښو وکړئ، بار ئې کړئ

د بار شوو فایلونو کیفیتی څه دئ؟

The chapter “Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

درجه (قاطیغوری(:

کال:

2020

خپرونه:

1st ed.

خپرندویه اداره:

Springer International Publishing;Springer

ژبه:

english

ISBN 10:

3030557545

ISBN 13:

9783030557546

لړ (سلسله):

Lecture Notes in Computer Science 12229

فایل:

PDF, 22.53 MB

IPFS:

,

english, 2020

په آن لاین ډول لوستل

ته بدلون په کار دي

ته بدلون ناکام شو

ممکن تاسی علاقمند شی

Farassat F. — Introduction to generalized functions with applications in aeroacoustics

Committee on Microgravity Research, National Research Council — Assessment of Directions in Microgravity and Physical Sciences Research at NASA

Reiner Hähnle & Wil van der Aalst — Fundamental Approaches to Software Engineering

Tiago Massoni, Mohammad Reza Mousavi — Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

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

Reiner Hähnle, Wil van der Aalst — Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 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

Dirk Beyer, Chantal Keller — Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

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

Yamine Ait-Ameur, Shengchao Qin — Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa — Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

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

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

Violet Ka I Pun, Volker Stolz, Adenilso Simao — Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings

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)

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

Sergiy Bogomolov, David Parker — Formal Modeling and Analysis of Timed Systems; 20th International Conference FORMATS 2022

Lucas Lima, Vince Molnár — Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings

Michael Codish, Yoav Fekete, Amit Metodi (auth.), Valeria Bertacco, Axel Legay (eds.) — Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, 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

Bernd Finkbeiner, Geguang Pu, Lijun Zhang (eds.) — Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015 Shanghai, China, October 12–15, 2015, Proceedings

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

Clark Barrett and Misty Davies — NASA Formal Methods

Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (editors) — Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy,

Simone Cavalheiro, José Fiadeiro (eds.) — Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

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)

Manfred Broy (auth.), Karin Breitman, Ana Cavalcanti (eds.) — Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 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

مهمي جملي