Unit Lemmas for Detecting Requirement and Specification Flaws.

Ashlie B. Hocking Jonathan C. Rowanhill Ben L. Di Vito

Published in: ISSRE Workshops (2020)

Keyphrases

specification language
automatic detection
theorem prover
information retrieval
information systems
theorem proving
real time
databases
learning algorithm
image processing
formal specification
formal language