Safe Decomposition of Startup Requirements: Verification and Synthesis.

Alessandro Cimatti, Luca Geatti, Alberto Griggio, Greg Kimberly, Stefano Tonetta

Browse the full TACAS paper archive.