Verification of Configurable SRA Systems.

Alessandro Cimatti, Alberto Griggio, Christian Lidstrm, Gianluca Redondi, Dylan Trenti

Browse the full IJCAR paper archive.