# Using behavioural specifications to support model-checking

> 2019 master's thesis by Bowen Liu at University of Waikato

**Wikidata**: [Q112949279](https://www.wikidata.org/wiki/Q112949279)  
**Source**: https://4ort.xyz/entity/using-behavioural-specifications-to-support-model-checking