# Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV -- Modelling

> Research article (2015 IEEE Trustcom/BigDataSE/ISPA, 2015) · cited 22× · AI/ML

**Wikidata**: [openalex:W4232314362](https://www.wikidata.org/wiki/openalex:W4232314362)  
**Source**: https://4ort.xyz/entity/formal-verification-of-iec61499-function-blocks-with-abstract-state-machines-and-smv-modelling