Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM

DOI10.1007/978-3-662-46823-4_7zbMath1434.68036OpenAlexW789094022MaRDI QIDQ3455059

Sandeep P. Patil, Victor Dubinin, Cheng Pang, Valeriy Vyatkin

Publication date: 3 December 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46823-4_7

zbMATH Keywords

formal semanticsformal verificationmodel checkingabstract state machinesIEC 61499

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07) Distributed systems (68M14)

Cites Work

• A high-level modular definition of the semantics of C\(_{\sharp}\)
• A mathematical definition of full Prolog
• Evolving Algebras 1993: Lipari Guide
• Unnamed Item
• Unnamed Item

This page was built for publication: Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM