Mapping big-step modeling languages to SMV
| dc.contributor.author | Faghih, Fathiyeh | |
| dc.contributor.author | Day, Nancy A. | |
| dc.date.accessioned | 2026-09-18T17:44:52Z | |
| dc.date.issued | 2011-12-23 | |
| dc.description.abstract | We propose an algorithm for creating a semantics-based, parameterized translator from the family of big-step modelling languages (BSMLs) to the input language of the model checker SMV. Our translator takes as input a specification in the CHTS notation and a set of user-provided parameters that encode the specification's semantics; it produces an SMV model suitable for model checking. We use a modular approach for translation, which means that the structure of the resulting SMV model matches the source CHTS structure. | |
| dc.identifier.uri | https://hdl.handle.net/10012/24348 | |
| dc.language.iso | en | |
| dc.publisher | University of Waterloo | |
| dc.relation.ispartofseries | Computer Science Technical Reports; CS-2011-29 | |
| dc.title | Mapping big-step modeling languages to SMV | |
| dc.type | Technical Report | |
| uws.contributor.affiliation1 | Faculty of Mathematics | |
| uws.contributor.affiliation2 | David R. Cheriton School of Computer Science | |
| uws.peerReviewStatus | Unreviewed | |
| uws.scholarLevel | Faculty | |
| uws.typeOfResource | Text | en |