HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2025 easychair.org. All rights reserved.