VrFy: Verification of Formal Requirements using Generic Traces.

Jorrit Olthuis Rodolfo Jordão Francesco Robino Sina Borrami

Published in: QRS Companion (2021)

Keyphrases

formal methods
application specific
formal analysis
domain specific
requirements specification
model checking
generic model
design principles
general purpose
digital libraries
knowledge base
information systems
genetic algorithm
database
search engine
requirements engineering
functional requirements
data mining