Formal Verification of Annotated Textual Use-Cases.

Viliam Simko David Hauzar Petr Hnetynka Tomás Bures Frantisek Plasil

Published in: Comput. J. (2015)

Keyphrases

formal verification
model checking
model checker
symbolic model checking
automated verification
program slicing
artificial intelligence
multimedia
manually constructed
bounded model checking
natural language
manually annotated
markov decision processes
case base