The application of adaptive symmetry reduction for LTL model checking by I. V. Konnov, V. A. Zakharov

Subjects: “…model checking…”
Get full text

Model Checking of Distributed Systems with Affine Data Structures by N. O. Garanina

Subjects: “…symbolic model checking…”
Get full text

On Construction and Verification of PLC-Programs by E. V. Kuzmin, V. A. Sokolov

Subjects: Get full text

Formal Verification of Business Constraints in Workflow-Based Applications by Florin Stoica, Laura Florentina Stoica

Subjects: Get full text

Verification Oriented Process Ontology by Natalia O. Garanina, Igor S. Anureev, Olesya I. Borovikova

Subjects: Get full text

On the Correctness of Real-Time Modular Computer Systems Modeling with Stopwatch Automata Networks by Alevtina B. Glonina, Vasily V. Balashov

Subjects: Get full text

Locality-guided based optimization method for bounded model checker by Shun WANG, Ye DU, Zhen HAN, Jiqiang LIU

Subjects: “…model checking…”
Get full text

On Verification of PLC-Programs Written in the LD-Language by E. V. Kuzmin, V. A. Sokolov

Subjects: Get full text

Formal specification and security verification of usage control model based on PAT by Cong-hua ZHOU, Wei-he CHEN, Zhi-feng LIU

Subjects: Get full text

Composable information flow verification for service chain based on model checking by Ning XI, Jian-feng MA, Cong SUN, Di LU, Tao ZHANG

Subjects: “…model checking…”
Get full text

Distributed embedded control systems design with verification support by I. V. Shoshmina

Subjects: Get full text

Formal Verification of Code Conversion: A Comprehensive Survey by Amira T. Mahmoud, Ahmad A. Mohammed, Mahitap Ayman, Walaa Medhat , Sahar Selim , Hala Zayed, Ahmed H. Yousef, Nahla Elaraby 

Subjects: Get full text

Survey on model checking based hardware Trojan detection technology by Qizhi ZHANG, Yiqiang ZHAO, Ya GAO, Haocheng MA

Subjects: Get full text

A SPIN-based Approach for Detecting Vulnerabilities in C Programs by N. G. Kushik, A. . Mammar, A. . Cavalli, N. V. Yevtushenko, W. . Jimenez, E. . Montes De Oca

Subjects: Get full text

Model checking of trusted cryptographic module by CHEN Xiao-feng, FENG Deng-guo

Subjects: Get full text

Optimization Procedures in Affine Model Checking by N. O. Garanina

Subjects: “…symbolic model checking…”
Get full text

Design and analysis of a novel fair payment protocol in mobile environments by LIU Xia1, GU Tian-long1, DONG Rong-sheng1, GUO Yun-chuan1

Subjects: Get full text

Using SPIN for Verification of Multi-agent Data Analysis by N. O. Garanina, E. V. Bodin, E. A. Sidorova

Subjects: Get full text

Automated configuration,simulation and verification platform for event-driven home automation IoT system by Qiuping ZHANG, Xizao WANG, Siyuan SHEN, Shiyu ZHANG, Lei BU, Xuandong LI

Subjects: “…internet of things;IFTTT framework;system security;model checking…”
Get full text

TC-Verifier: Trans-Compiler-Based Code Translator Verifier with Model-Checking by Amira T. Mahmoud, Walaa Medhat, Sahar Selim, Hala Zayed, Ahmed H. Yousef, Nahla Elaraby

Subjects: Get full text