Model Checking Requirements

Sérgio Barza, Gustavo Carvalho, Juliano Iyoda, Augusto Sampaio, Alexandre Mota, Flávia de Almeida Barros. Model Checking Requirements. In Leila Ribeiro, Thierry Lecomte, editors, Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings. Volume 10090 of Lecture Notes in Computer Science, pages 217-234, 2016. [doi]

Abstract

Abstract is missing.