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

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

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

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

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: Get full text

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

Subjects: 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

Modeling and verifying based on timed automata of Internet of things gateway security system by Guoqing WANG, Lei ZHUANG, Ruimin WANG, Yu SONG, Kunli ZHANG

Subjects: Get full text

The Impact of Collaboration Patterns and Network Centrality on Long-Term Contribution in GitHub Project by Suhee Jo, Gihwon Kwon

Subjects: Get full text

State-Space Analysis and Complexity Assessment of Puzzle Games Using Colored Petri Nets by Ahmad Taghinezhad-Nia, Saeid Pashazadeh

Subjects: Get full text

Adjusted automata learning algorithm for security protocol adaptive model checking by Jing YANG, Dan FAN, Yu-qing ZHANG

Subjects: Get full text

Verifying Mutual Exclusion Algorithms with Non-Atomic Registers by Libero Nigro

Subjects: Get full text

Safety Verification of Non-Deterministic Policies in Reinforcement Learning by Ryeonggu Kwon, Gihwon Kwon

Subjects: Get full text

Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model by Robin Mross, Aron Schnakenbeck, Marcus Volker, Alexander Fay, Stefan Kowalewski

Subjects: Get full text

Dynamic Temporal Logic of Subjective Homophily by Xiling Luo

Subjects: Get full text

Toward Secure and Reliable IoT Systems: A Comprehensive Review of Formal Methods Applications by Ikram Haddou-Oumouloud, Abderahman Kriouile, Soufiane Hamida, Ahmed Ettalbi

Subjects: Get full text

Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning by Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia

Subjects: Get full text

Timed Interpreted Systems as a New Agent-Based Formalism for Verification of Timed Security Protocols by Agnieszka M. Zbrzezny, Olga Siedlecka-Lamch, Sabina Szymoniak, Andrzej Zbrzezny, Mirosław Kurkowski

Subjects: Get full text