Verification of software requirements on program systems represented by attribute transition systems (Q557426)
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 2183736
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Verification of software requirements on program systems represented by attribute transition systems |
scientific article; zbMATH DE number 2183736 |
Statements
Verification of software requirements on program systems represented by attribute transition systems (English)
0 references
30 June 2005
0 references
consistency of requirements on programs
0 references
theorem proving
0 references
prover
0 references
0.7799084782600403
0 references
0.7585951685905457
0 references
0.74043208360672
0 references
