SMT-based consistency analysis of industrial systems requirements.

Predrag Filipovikj, Guillermo Rodrguez-Navas, Mattias Nyberg, Cristina Seceleanu

Browse the full SAC paper archive.