Exploiting step semantics for efficient bounded model checking of asynchronous systems

Reference:

Jori Dubrovin, Tommi Junttila, and Keijo Heljanko. Exploiting step semantics for efficient bounded model checking of asynchronous systems. Science of Computer Programming, 77(10–11):1095–1121, 2012.

Suggested BibTeX entry:

@article{DubrovinJunttilaHeljanko:SCP2012,
    author = {Jori Dubrovin and Tommi Junttila and Keijo Heljanko},
    journal = {Science of Computer Programming},
    language = {eng},
    number = {10--11},
    pages = {1095--1121},
    title = {Exploiting step semantics for efficient bounded model checking of asynchronous systems},
    volume = {77},
    year = {2012},
}