Software Component Verification: On Translating Behavior Protocols to Promela

Technical report

Title:

Authors:

J. Kofroň

Publication:

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

Year:

2006

Fulltext:

PDF

BibTeX:

@techreport{kofron_software_report_2006,
    title = {{Software Component Verification: On Translating Behavior Protocols to Promela}},
    author = {Kofroň, Jan},
    year = {2006},
    institution = {Department of Software Engineering, Charles University},
    number = {2006/11},
}