Verifying Temporal Properties of Use-Cases in Natural Language.

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

Published in: FACS (2011)

Keyphrases

temporal properties
model checking
natural language
temporal logic
formal methods
possibility theory
machine learning
information extraction
natural language processing
formal specification
artificial intelligence
object oriented
case base
incomplete information