Login / Signup
Extending Model Checking to Data-Aware Temporal Properties of Web Services.
Sylvain Hallé
Roger Villemaire
Omar Cherkaoui
Jérôme Tremblay
Boubker Ghandour
Published in:
WS-FM (2007)
Keyphrases
</>
model checking
temporal properties
web services
data analysis
temporal logic
probability distribution
formal verification
model checker
symbolic model checking
multi agent systems
knowledge based systems
description language
computation tree logic