SVL: A Scripting Language for Compositional Verification.

Hubert Garavel Frédéric Lang

Published in: FORTE (2001)

Keyphrases

scripting language
open source
graphical user interfaces
windows nt
general purpose
databases
information systems
case study
data access
client server