SMT-based consistency analysis of industrial systems requirements

SAC, pp. 1272-1279, 2017.

Cited by: 5|Bibtex|Views23|Links
EI

Abstract:

As the complexity of industrial systems increases, it becomes difficult to ensure the correctness of system requirements specifications with respect to certain criteria such as consistency. Automated techniques for consistency checking of requirements, mostly by means of model checking, have been proposed in academia. However, such approa...More

Code:

Data:

Your rating :
0

 

Best Paper
Best Paper of SAC, 2017
Tags
Comments