Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker

Technical report

Title:

Authors:

P. Parízek, F. Plášil, J. Kofroň

Publication:

Technical report no. 2006/02, Department of Software Engineering, Charles University

Year:

2006

Fulltext:

PDF

BibTeX:

@techreport{parizek_model_report_2006,
    title = {{Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker}},
    author = {Parízek, Pavel and Plášil, František and Kofroň, Jan},
    year = {2006},
    institution = {Department of Software Engineering, Charles University},
    number = {2006/02},
}