Program Composition and Modular Verification.

Limor Fix Nissim Francez Orna Grumberg

Published in: ICALP (1991)

Keyphrases

symbolic execution
formal verification
hardware designs
real time
high level
multiscale
mobile robot
test cases
formal methods