Вы здесь

Главная

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

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

Abstract State Machines, Alloy, B, TLA, VDM, and Z: Proc./6th International Conference, ABZ 2018, Southampton, UK, June 2018
Automated Deduction in Geometry: Revised Selected Papers/9th International Workshop, ADG 2012, Edinburgh, UK, September 2012
Deductive formal verification of search programs in arrays of arbitrary size for abstract register machines
Deductive Verification of the Classical Sliding Window Protocol
Empirical Software Engineering and Verification: Revised Tutorial Lectures/ International Summer Schools, LASER 2008-2010, Elba Island, Italy
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
Formal Methods and Software Engineering: Proc./18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 2016
Formal Methods and Software Engineering: Proc./19th International Conference on FEM, ICFEM 2017, Xi an, China, November 2017
Formal Methods for Industrial Critical Systems: Proc./25th International Conference, FMICS 2020, Vienna, Austria, September 2020
Formal Techniques for Distributed Objects, Components, and Systems: Proc./36th IFIP WG 6.1 International Conference, FORTE 2016 Held as Part of the 11th International Federated Conference, DisCoTec 2016, Heraklion, Crete, Greece, June 2016
Format verification of programs for abstract register machines
Fundamental Approaches to Software Engineering: Proc./21st International Conference, FASE 2018 Held as Part of the European Joint Conference ETAPS 2018, Thessaloniki, Greece, April 2018
Integrated Formal Methods: Proc./15th International Conference, IFM 2019, Bergen, Norway, December 2019
Interactive Theorem Proving: Proc./8th International Conference, ITP 2017, Brasilia, Brazil, Septeber 2017
Mathematical Foundations of Computer Science 2014, Part I: Proc./39th Internatioanl Symposium, MFCS 2014, Budapest, Hungary, August 2014
Model-Based Safety and Assessment: Proc./5th International Symposium, IMBSA 2017, Trento, Italy, September 2017
On the need to specify and verify standard functions
Recent Trends in Algebraic Development Techniques: Revised Selected Papers/22nd International Workshop, WADT 2014, Sinaia, Romnia, September 2014
Software Engineering and Formal Methods: Proc./13th International Conference, SEFM 2015, York, UK, September 2015
Structured Object-Oriented Formal Language and Method: Revised Selected Papers/7th International Workshop, SOFL+MSVL 2017, Xi an, China, November 2017
Testing Software and Systems: Proc./23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 2011
Testing Software and Systems: Proc./29th IFIP WG 6.1 International Conference, ICTSS 2017, St.Petersburg, Russia, October 2017
Theory and Practice of Model Transformation: Proc./10th International Conference, ICMT 2017 Held as Part of STAF 2017, Marburg, Germany, July 2017
Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./24th International Conference, TACAS 2018 Held as Part of the Europen Joint Conference ETAPS 2018, Thessaloniki, Greece, April 2018
Дедуктивная верификация протокола скользя его окна
Методы и средства построения формальных спецификаций
Разработка и исследование методов и средств формального специфицирования моделей и метрик программ
Спецификация реактивных систем в виде гиперграфовой композиции
Сравнение способов декомпозиции спецификаций на Event-B