SMT-based consistency analysis of industrial systems requirements
SAC, pp. 1272-1279, 2017.
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
Full Text (Upload PDF)
PPT (Upload PPT)
Best Paper of SAC, 2017