Вы здесь

Главная

верификация программ

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

Automated Deduction - CADE 28: Proc./28th International Conference on Automated Deduction, Virtual Event, July 2021
Formal Methods for Industrial Critical Systems: Proc./17th International Workshop, FMICS 2012, Paris, France, August 2012
Formal Methods for Industrial Critical Systems: Proc./18th International Workshop, FMICS 2013, Madrid, Spain, September 2013
Formal Methods: Foundations and Applications: Revised Selected Papers/13th Brazilian Symposium on FM, SBMF 2010, Natal, Brazil, November 2010
Interactive Theorem Proving: Proc./6th International Conference, ITP 2015, Nanjing, China, August 2015
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 2016
On the need to specify and verify standard functions
Relational and Algebraic Methods in Computer Science: Proc./15th International Conference, RAMiCS 2015, Braga, Portugal, September 2015
Relational and Algebraic Methods in Computer Science: Proc./17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 2018
Software Engineering and Formal Methods: Proc./13th International Conference, SEFM 2015, York, UK, September 2015
Static Analysis: Proc./22nd International Symposium, SAS 2015, Saint-Malo, France, September 2015
Static Analysis: Proc./25th International Symposium, SAS 2018
Tests and Proofs: Proc./8th International Conference, TAP 2014 Held as Part of STAF 2014, York, UK, July 2014
Theoretical Aspects of Computing - ICTAC 2013: Proc./10th International Colloquium, Shanghai, China, September 2013
Theoretical Aspects of Computing - ICTAC 2016: Proc./13th International Colloquium, Taipei. Taiwan, ROC, October 2016
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Verification, Model Checking, and Abstract Interpretation: Proc./18th International Conference, VMCAI 2017, Paris, France, January 2017
Verified Software: Theories, Tools, and Experiments: Revised Selected Papers/10th International Conference, VSTTE 2018, Oxford, UK, July 2018
Web Reasoning and Rule Systems: Proc./7th International Conference, RR 2013, Mannheim, Germany, July 2013
Проблемы совершенствования синтеза, тестирования, верификации и отладки программ. Том II : Тезисы докладов Всесоюзной научной конференции, Рига, 12-14 ноября 1986 г.
Проблемы совершенствования синтеза, тестирования, верификации и отладки программ. Том I : Тезисы докладов Всесоюзной научной конференции, Рига, 12-14 ноября 1986 г.
Системы условных редукций и их применение в проблемно-ориентированной верификации программ
Спецификация реактивных систем в виде гиперграфовой композиции