Login / Signup
Formal Verification of Health Assessment Tools: a Case Study.
Jonas Santos Bezerra
Andrei Costa
Leila Ribeiro
Érika F. Cota
Published in:
Electron. Notes Theor. Comput. Sci. (2016)
Keyphrases
</>
formal verification
model checking
test bed
automated verification
bounded model checking
software tools
decision support
model checker
symbolic model checking
health care
case study
knowledge representation
software development
temporal logic
formal specification
formal methods
end users
multi agent systems