An automatically verified prototype of the Tokeneer ID station specification (Q2069869)
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: An automatically verified prototype of the Tokeneer ID station specification |
scientific article; zbMATH DE number 7461267
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An automatically verified prototype of the Tokeneer ID station specification |
scientific article; zbMATH DE number 7461267 |
Statements
An automatically verified prototype of the Tokeneer ID station specification (English)
0 references
21 January 2022
0 references
Tokeneer ID station specification
0 references
Z notation
0 references
\(\{log\}\)
0 references
constraint programming
0 references
prototyping
0 references
automated verification
0 references
automated proof
0 references
0 references
