Differential Testing of a Verification Framework for Compiler Optimizations (Case Study).

Mark Utting Brae J. Webb Ian J. Hayes

Published in: FormaliSE (2023)

Keyphrases

case study
database
main contribution
theoretical framework
real time
general purpose
software development
lightweight
software systems
model checking
software testing