Keyword:CTL

Publications
Automatic Detection of Vulnerable Variables for CTL Properties of Programs Naïm Moussaoui Remil, Caterina Urban and Antoine Miné In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
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