Вы здесь

Главная

верификатор

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

A Formal Framework for the Java Bytecode Language and Verifier
A Type System for Java Bytecode Subroutines
Efficient Verification of Timed Automata with BDD-Like Data-Structure
Formal Verification of the Horn-Preneel Micropayment Protocol
Functional Imaging and Modeling of the Heart: Proc./11th International Conference, FIMH 2021, Stanford,CA,USA, June 2021
Model Checking Software: Proc./15th International SPIN Workshop. LA, USA, August 2008
Product-Focused Software Process Improvement: Proc./17th International Conference, PROFES 2016, Trondheim, Norway, November 2016
Verification Experiments on the MASCARA Protocol
Verification of Workflow Task Structures: A Petri-Net-Based Approach
Опыт развития инструмента статической верификации BLAST
Эффективные алгоритмы проверки выполнимости формул темпоральной логики CTL на модели и их применение для верификации параллельных программ