Properties Incompleteness Evaluation by Functional Verification

DOI10.1109/TC.2007.1012zbMath1390.68427MaRDI QIDQ4564139

Andrea Fedeli, Graziano Pravadelli, Franco Fummi

Publication date: 12 June 2018

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)