Вы здесь

Главная

формальная верификация

Связанные издания:

Ad-hoc, Mobile, and Wireless Networks: Proc./13th International Conference, ADHOC-NOW 2014, Benidorm, Spain, June 2014
AI*IA 2016: Advances in Artificial Intelligence: Proc./15th International Conference, of the Italian Association for AI, Genova, Italy, November 2016
Automated Technology for Verification and Analysis: Proc./12th International Symposium, ATVA 2014, Sydney,NSW,Australia, November 2014
Computational Complexity and Property Testing: On the Interplay between Randomness and Computation
Computer Aided Verification, Part I: Proc./30th International Conference, CAV 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 2018
Coordination Models and Languages: Proc./18th IFIP WG 6.1 International Conference, COORDINATION 2016 Held as Part of the 11th International Federated Conference, DisCoTec 2016, Heraklion, Crete, Greece, June 2016
Deductive Software Verification - The KeY Book: From Theory to Practice
Electronic Voting: Proc./6th International Joint Conference, E-Vote-ID 2021, Virtual Event, October 2021
Engineering Trustworthy Software Systems: Tutorial Lectures/4th International School, SETSS 2018, Chongqing, China, April 2018
Engineering Trustworthy Software Systems: Tutorial Lectures/5th International School, SETSS 2019, Chongqing, China, April 2019
FM 2015: Formal Methods: Proc./20th International Symposium, Oslo, Norway, June 2015
Formal Aspects of Component Software: Revised Selected Papers/10th International Symposium, FACS 2013, Nanchang, China, October 2013
Formal Methods and Software Engineering: Proc./20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 2018
Formal Methods: FM 2019 International Workshops, Part II: Revised Selected Papers/Porto, Portugal, October 2019
Formal Methods: FM 2019 International Workshops, Part I: Revised Selected Papers/Porto, Portugal, October 2019
Formal Methods for Industrial Critical Systems: Proc./20th International Workshop, FMICS 2015, Oslo, Norway, June 2015
Formal Methods: Proc./22nd International Symposium, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 2018
Formal Methods: Proc./24th International Symposium, FM 2021, Virtual Event, November 2021
Formal Methods - The Next 30 Years: Proc./3rd World Congress, FM 2019, Porto, Portugal, October 2019
From Data to Models and Back: Revised Selected Papers/9th International Symposium, DataMod 2020, Virtual Event, October 2020
Graph Transformation, Specificationas, and Nets: In Memory of Hartmut Ehrig
Hardware and Software: Verification and Testing: Proc./10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 2014
Hardware and Software: Verification and Testing: Proc./13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 2017
Interactive Theorem Proving: Proc./8th International Conference, ITP 2017, Brasilia, Brazil, Septeber 2017
Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Model-Based Safety and Assessment: Proc./4th International Symposium, IMBSA 2014, Munich, Germany, October 2014
Molecular Logic and Computational Synthetic Biology: Revised Selected Papers/1st International Symposium, MLCSB 2018, Santiago, Chile, December 2018
NASA Formal Methods: Proc./10th International Symposium, NFM 2018, Newport News,VA,USA, April 2018
NASA Formal Methods: Proc./12th International Symposium, NFM 2020, Moffett Field,CA,USA, May 2020
NASA Formal Methods: Proc./13th International Conference, NFM 2021, Virtual Event, May 2021
NASA Formal Methods: Proc./6th International Symposium, NFM 2014, Houston,TX,USA, April 2014
On the need to specify and verify standard functions
Quantitative Evaluation of Systems: Proc./16th International Conference, QEST 2019, Glasgow, UK, September 2019
Quantitative Evaluation of Systems: Proc./17th International Conference, QEST 2020, Vienna, Austria, September 2020
Runtime Verification: Proc./16th International Conference, RV 2016, Madrid, Spain, September 2016
Runtime Verification: Proc./5th International Conference, RV 2014, Toronto,ON,Canada, September 2014
Simulation, Modeling, and Programming for Autonomous Robots: Proc./4th International Conference, SIMPAR 2014, Bergamo, Italy, October 2014
Software Architecture: Proc./10th Eropean Conference, ECSA 2016, Copenhagen, Denmark, November 2016
Software Engineering and Formal Methods: Proc./16th International Conference, SEFM 2018 Held as Part of STAF 2018, Toulouse, France, June 2018
Software Engineering and Formal Methods: Proc./17th International Conference, SEFM 2019, Oslo, Norway, September 2019
Software Engineering and Formal Methods: Proc./18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 2020
Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 2015
Software Engineering for Self-Adaptive Systems III: Assurances: Revised Selected and Invited Papers/ International Seminar, Dagstuhl Castle, Germany, December 2013
Tests and Proofs: Proc./12th International Conference, TAP 2018 Held as Part of STAF 2018, Toulouse, France, June 2018
Theory and Applications of Satisfiability Testing - SAT 2017: Proc./20th International Conference, Melbourn,VIC,Australia, August 2017
Theory and Applications of Satisfiability Testing - SAT 2018: Proc./21st International Conference, SAT 2018 Held as Part of the Federated Logic Conference, FLoC 2018, Oxford, UK, July 2018
Theory and Applications of Satisfiability Testing - SAT 2019: Proc./22nd International Conference, SAT 2019, Lisbon, Portugal, July 2019
Trends in Functional Programming: Revised Selected Papers/17th International Conference, TFP 2016, College Park,MD,USA, June 2016
Trends in Functional Programming: Revised Selected Papers/19th International Symposium, TFP 2018, Gothenburg, Sweden, June 2018
Using SPIN for Verification of Multi-agent Data Analysis