Login / Signup
A case study on the automated verification of groupware protocols.
Maurice H. ter Beek
Mieke Massink
Diego Latella
Stefania Gnesi
Alessandro Forghieri
Maurizio Sebastianis
Published in:
ICSE (2005)
Keyphrases
</>
automated verification
model checking
automated reasoning
formal verification
case study
user experience
temporal logic
knowledge base
graph theory
artificial intelligence
activity theory
evolutionary algorithm
graphical models
distributed systems
test bed
theorem prover