Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements. - Aurora Francesca Zanenga; Nunzio Marco Bisceglia; Benedetta Ippoliti; Andrea Bombarda; Angelo Gargantini; Akshay Rajhans; Claudio Menghi (SIGSOFT FSE Companion, 2025)