Вы здесь

Главная

символический

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

Declarative Agent Languages and Technologies VIII: Revised, Selected and Invited Papers/8th International Workshop, DALT 2010, Toronto, Canada, May 2010
Dependable Software Engineering: Theories, Tools, and Applications: Proc./1st International Symposium, SETTA 2015, Nanjing, China, November 2015
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management: Proc./Joint International Conference, FAW-AAIM 2012, Beijing, China, May 2012
Graph Transformation: Proc./14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 2021
Hardware and Software: Verification and Testing: Proc./11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 2015
Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2013, San Diego,CA,USA, January 2013
Mathematical Software - ICMS 2014: Proc./4th International Congress, Seoul, South Korea, August 2014
Mathematics and Computation in Music: Proc./4th International Conference, MCM 2013, Montreal,QC,Canada, June 2013
Model Checking Software: Proc./13th International SPIN Workshop. Vienna, Austria, March/April 2006
NASA Formal Methods: Proc./4th International Symposium, NFM 2012, Norfolk,VA,USA, April 2012
Recent Advances in Constraints: Revised Selected Papers/14th Annual ERCIM International Workshop, CSCLP 2009, Barcelona, Spain, June 2009
Runtime Verification: Proc./5th International Conference, RV 2014, Toronto,ON,Canada, September 2014
Symbolic Execution with Abstract Subsumption Checking
Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the Fly Transactions
Symbolic verification method for definite iterations over tuples of altered data structures
Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness
Test Generation Based on Symbolic Specifications
Tests and Proofs: Proc./11th International Conference, TAP 2017 Held as Part of STAF 2017, Marburg, Germany, July 2017
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Tools and Algorithms for the Construction and Analysis of Systems: Proc./12th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006. Vienna, Austria, March/April 2006
Верификация финитных итераций над наборами изменяемых структур данных
Ой, гляди, читает
О синтезе программных функций в системе символического выполнения Паскаль-программ
Символический метод верификации финитных итераций над изменяемыми структурами данных