HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Md Zahidul Islam

Publications
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

Keyphrases

CTL, formal verification, model checking, one-pass tableau, workflow.

Copyright © 2012-2025 easychair.org. All rights reserved.