Formal verification of programs specified with signal: Application to a power transformer station controller

DOI10.1016/S0167-6423(00)00020-4zbMath0983.68125OpenAlexW2046555386MaRDI QIDQ5946571

Hervé Marchand, Éric Rutten, Morcos F. Samaan, Michel Le Borgne

Publication date: 14 October 2001

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6423(00)00020-4

zbMATH Keywords

verificationformal specification

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (3)

A polynomial dynamic system approach to software design for attractivity requirement ⋮ Compositional design of isochronous systems ⋮ A metamodel for the design of polychronous systems

Uses Software

• Unnamed Item

This page was built for publication: Formal verification of programs specified with signal: Application to a power transformer station controller