Counterexample Analysis for Automated Refinement of Data Abstracted State Machine Models

Reference:

Vesa Ojala. Counterexample analysis for automated refinement of data abstracted state machine models. Master's thesis, Helsinki University of Technology, Department of Information and Computer Science, 2008.

Suggested BibTeX entry:

@mastersthesis{OjalaMsc,
    author = {Vesa Ojala},
    school = {Helsinki University of Technology, Department of Information and Computer Science},
    title = {Counterexample Analysis for Automated Refinement of Data Abstracted State Machine Models},
    year = {2008},
}

PostScript (1 MB)
GZipped PostScript (572 kB)
PDF (532 kB)