doi.ieeecomputersociety.org

     

The Design of a Multicore Extension of the SPIN Model Checker