Compositional Specification and Structured Verification of Hybrid Systems in cTLA.

Peter Herrmann, Gnter Graw, Heiko Krumm

Browse the full ISORC paper archive.