Experiences with a Compositional Model Checker in the Healthcare Domain.

Jozef Hooman Robert Huis in 't Veld Mathijs Schuts

Published in: FHIES (2011)

Keyphrases

model checker
model checking
formal verification
formal methods
domain specific
temporal logic
symbolic model checking
formal specification
orders of magnitude
description language
information systems
case study
general purpose
error rate
specification language