Keyword:model checking

Publications
EnPAC: Petri Net Model Checking for Linear Temporal Logic Zhijun Ding, Cong He and Shuo Li EasyChair Preprint 11276
MARVer: a Tool for Verification of Robotic System’s Safety Zekeriyya Demirci, Metin Özkan, Muhammed Talha Şahin, Hüseyin Can Ergün and Ahmet Yazıcı EasyChair Preprint 8799
STLmc: Robust STL Model Checking of Hybrid Systems Using SMT Geunyeol Yu, Jia Lee and Kyungmin Bae EasyChair Preprint 8684
Formalization and Analysis of BPMN Using Graph Transformation Systems Tim Kräuter, Harald König, Adrian Rutle and Yngve Lamo EasyChair Preprint 8626
Theorem Proving of Enactment Model Composites with Appiah-Kleene Axiomatic Expressions (Eel Proof) Frank Appiah EasyChair Preprint 6193
Designing and Verifying Microservices Using CSP Jeremy Martin EasyChair Preprint 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 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 4327
Model Checking of Integratively Designed Product and Production Systems Sergej Japs, Rik Rasor, Lydia Kaiser and Roman Dumitrescu EasyChair Preprint 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 1429
Scalable Verification of Designs with Multiple Properties Rohit Dureja and Kristin Yvonne Rozier EasyChair Preprint 1411
From One To Many: Checking A Set Of Models Rohit Dureja and Kristin Yvonne Rozier EasyChair Preprint 1402
Efficient Simulation for Hardware Model Checking Joseph Tafese and Arie Gurfinkel In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Model Checking Omega-Regular Hyperproperties with AutoHyperQ Raven Beutner and Bernd Finkbeiner In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
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)
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 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
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
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
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)
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)
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
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
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
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 V. Shilov In:PSPL 2010. International Workshop on Proof Systems for Program Logics
Formal Requirements Capturing using VRS system Alexander Letichevsky, Alexander Kolchin, Oleksandr Letychevskyy jr., Stepan Potiyenko, Vlad Volkov and Thomas Weigert In:WING 2010. Workshop on Invariant Generation 2010
CheAPS: a Checker of Asynchronous Parameterized Systems Igor Konnov In:WING 2010. Workshop on Invariant Generation 2010