SVL: A Scripting Language for Compositional Verification.

Hubert Garavel, Frdric Lang

Browse the full FORTE paper archive.