Expressive modular verification of termination for busy-waiting programs.

Justus Fasse Bart Jacobs

Published in: CoRR (2023)

Keyphrases

symbolic execution
hardware designs
model checking
face verification
automatic programming
verification method
real time
computer programs
single server
test generation
modular structure