Formal verification of synchronous data-flow program transformations toward certified compilers (Q2418653)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal verification of synchronous data-flow program transformations toward certified compilers |
scientific article |
Statements
Formal verification of synchronous data-flow program transformations toward certified compilers (English)
0 references
28 May 2019
0 references
formal verification
0 references
translation validation
0 references
certified compiler
0 references
multi-clocked synchronous programs
0 references
embedded systems
0 references
