The following pages link to Computer Aided Verification (Q5312941):
Displaying 9 items.
- WSAT (Q13766) (← links)
- A design methodology for verified web-service mediators (Q488326) (← links)
- WCFS: a new framework for analyzing multiserver systems (Q2095032) (← links)
- Minimum-cost delegation in service composition (Q2378522) (← links)
- Web services as a new approach to distributing and coordinating semantics-based verification toolkits (Q2847793) (← links)
- WAVer: a model checking-based tool to verify web application design (Q2852079) (← links)
- A rigorous model of service component architecture (Q2873686) (← links)
- Analysis of Realizability Conditions for Web Service Choreographies (Q3613058) (← links)
- Automated Technology for Verification and Analysis (Q5394169) (← links)