Keyword:model checking

Papers
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