Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis.

Srivatsan Varadarajan, Robin Bloomfield, John Rushby, Gopal Gupta, Anitha Murugesan, Robert J. Stroud, Kateryna Netkachova, Isaac Hong Wong, Joaqun Arias

Browse the full SAFECOMP paper archive.