BMC Encoding for Concurrent Systems. - Manitra Rakotoarisoa; Enric Pastor (SCCC, 2008)

Bounded model checking for asynchronous concurrent systems. - Manitra Rakotoarisoa (2014)