Composing invariants (Q2495548)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Composing invariants |
scientific article; zbMATH DE number 5037425
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Composing invariants |
scientific article; zbMATH DE number 5037425 |
Statements
Composing invariants (English)
0 references
30 June 2006
0 references
reactive and concurrent systems
0 references
formal specification
0 references
temporal logic
0 references
compositional verification
0 references
invariants
0 references
software components
0 references
0.9081486
0 references
0 references
0.8620925
0 references
0.86086726
0 references
0.8583834
0 references
