Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services
No abstract available.
Related papers
- Verifying policy-based web services security TOPLAS 2008
- VyPR2: A Framework for Runtime Verification of Python Web Services TACAS 2019
- Modular Control Plane Verification via Temporal Invariants PLDI 2023
- Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses CAV 2016
- Modelling and Verification of Web Services Business Activity Protocol TACAS 2011
- Modular verification of web page layout OOPSLA 2019
- Reasoning about Web Applications: An Operational Semantics for HOP TOPLAS 2012
- From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification POPL 2015