Keyword:model checking

Papers
ARCH-COMP21 Category Report: Stochastic Models Alessandro Abate, Henk Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam Thorpe, Vlad Turcuman and Paolo Zuliani In:8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
Theorem Proving of Enactment Model Composites with Appiah-Kleene Axiomatic Expressions (Eel Proof) Frank Appiah EasyChair Preprint no. 6193
Designing and Verifying Microservices Using CSP Jeremy Martin EasyChair Preprint no. 5390
Fuzzy Particle Swarm Optimization Algorithm (NFPSO) for Reachability Analysis of Complex Software Systems Nahid Salimi, Vahid Rafe, Hamed Tabrizchi and Amir Mosavi EasyChair Preprint no. 4328
Fuzzy Genetic Algorithm Approach for Verification of Reachability and Detection of Deadlock in Graph Transformation Systems Nahid Salimi, Vahid Rafe, Hamed Tabrizchi and Amir Mosavi EasyChair Preprint no. 4327
Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation Dario Della Monica, Angelo Montanari, Aniello Murano and Guido Sciavicco In:GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence
Model Checking of Integratively Designed Product and Production Systems Sergej Japs, Rik Rasor, Lydia Kaiser and Roman Dumitrescu EasyChair Preprint no. 1529
Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman and Kristin Yvonne Rozier EasyChair Preprint no. 1429
Scalable Verification of Designs with Multiple Properties Rohit Dureja and Kristin Yvonne Rozier EasyChair Preprint no. 1411
From One To Many: Checking A Set Of Models Rohit Dureja and Kristin Yvonne Rozier EasyChair Preprint no. 1402
Model Checking Approach for Deadlock Detection in an Operating System Process-Resource Graph Using Dynamic Model Generating and Computation Tree Logic Specification Thitivatr Patanasakpinyo In:Proceedings of 34th International Conference on Computers and Their Applications
Quasipolynomial Set-Based Symbolic Algorithms for Parity Games Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger and Alexander Svozil In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems Rachel Faran and Orna Kupferman In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Intermittent Fault Diagnosis as Discrete Signal Estimation: Trackability analysis Xavier Pucel and Stéphanie Roussel In:28th International Workshop on Principles of Diagnosis (DX'17)
Diagnosis of supervision patterns on bounded labeled Petri nets by Model Checking Yannick Pencolé and Audine Subias In:28th International Workshop on Principles of Diagnosis (DX'17)
Automated analysis of Stateflow models Hamza Bourbouh, Pierre-Loic Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai and Xavier Thirioux In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Verification of Fault-Tolerant Clock Synchronization Algorithms Sergiy Bogomolov, Christian Herrera and Wilfried Steiner In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary Pavithra Prabhakar and Miriam García Soto In:Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015
A One-Pass Tableau-Based Workflow Verification Framework Md Zahidul Islam and Wendy MacCaull In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
Reachability Modulo Theory Library Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise and Natasha Sharygina In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories
Incremental Construction of Counterexamples in Model Checking Web Documents Franz Weitl and Shin Nakajima In:WWV 2010. 6th International Workshop on Automated Specification and Verification of Web Systems
A Framework for Verified Depth-First Algorithms René Neumann In:ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation
Tableau-Like Automata-Based Axiomatization for Propositional Linear Temporal Logic Nikolay Shilov In:PSPL 2010. International Workshop on Proof Systems for Program Logics
CheAPS: a Checker of Asynchronous Parameterized Systems Igor Konnov In:WING 2010. Workshop on Invariant Generation 2010
Formal Requirements Capturing using VRS system Alexander Letichevsky, Alexander Kolchin, Oleksandr Letychevskyi, Stepan Potiyenko, Vlad Volkov and Thomas Weigert In:WING 2010. Workshop on Invariant Generation 2010