Bounded Model Checking for Verifying Concurrent Programs

Reference:

Toni Jussila. Bounded model checking for verifying concurrent programs. Research Report A73, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, August 2002. Licentiate's Thesis.

Suggested BibTeX entry:

@techreport{HUT-TCS-A73,
    address = {Espoo, Finland},
    author = {Toni Jussila},
    institution = {Helsinki University of Technology, Laboratory for Theoretical Computer Science},
    month = {August},
    note = {Licentiate's Thesis},
    number = {A73},
    pages = {55},
    title = {Bounded Model Checking for Verifying Concurrent Programs},
    type = {Research Report},
    year = {2002},
}