Unifying theories of reactive design contracts (Q2007732)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Unifying theories of reactive design contracts |
scientific article |
Statements
Unifying theories of reactive design contracts (English)
0 references
22 November 2019
0 references
design-by-contract
0 references
reactive systems
0 references
automated proof
0 references
denotational semantics
0 references
unifying theories of programming
0 references
compositional verification
0 references
