Unifying theories of reactive design contracts (Q2007732)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7135127
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Unifying theories of reactive design contracts |
scientific article; zbMATH DE number 7135127 |
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
0.7440693974494934
0 references
0.7393178343772888
0 references
0.7304395437240601
0 references
0.7254899144172668
0 references
0.725098192691803
0 references
