Symbolic verification of requirements in VRS system.

Oleksandr A. Letychevskyi Thomas Weigert

Published in: RE (2014)

Keyphrases

model checking
user requirements
information retrieval
high level
formal verification
connectionist models
grid workflow
data structure
digital libraries
application specific
requirements engineering
concurrent systems