Efficiently Automating Covering Array Generation: A Model Checking and Metaheuristic Algorithm Approach by Sajad Esfandyari, Davar Giveki, Amir Rastegarnia, Ali Farzamnia, Hua Zheng

Subjects: Get full text

Toward AI-Augmented Formal Verification: A Preliminary Investigation of ENGRU and Its Challenges by Chanon Dechsupa, Teerapong Panboonyuen, Wiwat Vatanawood, Praisan Padungweang, Chakchai So-In

Subjects: “…Model checking…”
Get full text

Random Model Sampling: Making Craig Interpolation Work When It Should Not by Marat Akhin, Sam Kolton, Vladimir Itsykson

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

Application of Formal Methods in Power Grid Cyber Physical Systems by Li HUANG, Yun LIANG, Hui HUANG, Ruohan ZHAO

Subjects: Get full text

On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic by Anton Romanovich Gnatenko, Vladimir Anatolyevich Zakharov

Subjects: Get full text

A Formal Model and Verification Problems for Software Defined Networks by V. A. Zakharov, R. L. Smelyansky, E. V. Chemeritsky

Subjects: Get full text

A Hybrid Approach for Reachability Analysis of Complex Software Systems Using Fuzzy Adaptive Particle Swarm Optimization Algorithm and Rule Composition by Nahid Salimi, Seyfollah Soleimani, Vahid Rafe, Davood Khodadad

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

Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT-solver by Maxim Petrov, Kirill Gagarski, Mikhail Belyaev, Vladimir Itsykson

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

Autotuning Parallel Programs by Model Checking by Natalia Olegovna Garanina, Sergei Petrovich Gorlatch

Subjects: Get full text

Verification of Telecommunication Systems Specified by Communicating Finite Automata with the Help of Coloured Petri Nets by D. M. Beloglazov, M. Yu. Mashukov, V. A. Nepomniaschy

Subjects: Get full text

Bounded Model Checking of Dense-Timed Deontic Interpreted Systems: A Satisfiability Modulo Theories Approach by Bożena Woźna-Szcześniak, Ireneusz Szcześniak, Ireneusz Olszewski

Subjects: Get full text

Teaching Formal Models of Concurrency Specification and Analysis by N. V. Shilov

Subjects: Get full text

Using TLA+/TLC for modeling and verification of cryptographic protocols by Maxim V. Neyzov, Egor V. Kuzmin

Subjects: Get full text

LTL-specification for development and verification of control programs by Maxim V. Neyzov, Egor V. Kuzmin

Subjects: Get full text

Verification of declarative LTL-specification of control programs behavior by Maxim V. Neyzov, Egor V. Kuzmin

Subjects: Get full text

LTL-specification for development and verification of logical control programs in feedback systems by Maxim V. Neyzov, Egor V. Kuzmin

Subjects: Get full text