The following pages link to (Q4553259):
Displaying 5 items.
- Verifying the consistency of web-based technical documentations (Q617987) (← links)
- Applying model-checking to solve queries on semistructured data (Q1749228) (← links)
- Model checking hybrid logics (with an application to semistructured data) (Q2506828) (← links)
- Modeling and model checking web services (Q2848067) (← links)
- WAVer: a model checking-based tool to verify web application design (Q2852079) (← links)