TCS / Research / Publications / Bounded Model Checking for Verifying Concurrent Programs
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Bounded Model Checking for Verifying Concurrent Programs

Reference:

Toni Jussila. Bounded Model Checking for Verifying Concurrent Programs. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2001.

Suggested BibTeX entry:

@phdthesis{JussilaLic,
    author = {Jussila, Toni},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science},
    title = {Bounded Model Checking for Verifying Concurrent Programs},
    type = {Licentiate's thesis},
    year = {2001},
}

See www.tcs.hut.fi ...

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.