Formal Verification of Infinite-State BIP Models.

Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab, Qiang Wang

Browse the full ATVA paper archive.