Our lab is not only about research: we do a lot of development using Java, Python, Javascript, Haskell and other languages in combination with advanced libraries and frameworks. This development experience was very helpful during my job interviews, and employers were impressed by the projects we develop here in the lab.
Modeling Product Lines with Kripke Structures and Modal Logic
| Title | Modeling Product Lines with Kripke Structures and Modal Logic |
| Publication Type | Report |
| Year of Publication | 2015 |
| Authors | Diskin, Z., A. Safilian, T. Maibaum, and S. Ben-David |
| Document Number | GSDLAB–TR 2015-04-01 |
| Date Published | April, 2015 |
| Institution | University of Waterloo, ECE |
| City | Waterloo/Hamilton |
| Report Number | GSDLAB–TR 2015-04-01 |
| Attachment | Size |
|---|---|
| TR-PPL-2015.pdf | 823.95 KB |
