End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK.

Laura R. Humphrey, James Hamil, Joffrey Huguet

Browse the full SEFM paper archive.