Checking Several Requirements at once by CEGAR.

Vitaly O. Mordan Vadim S. Mutilin

Published in: Ershov Memorial Conference (2015)

Keyphrases

real time
data sets
artificial intelligence
information technology
general purpose
application specific
user requirements
requirements engineering