An automatically verified prototype of the Tokeneer ID station specification (Q2069869)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An automatically verified prototype of the Tokeneer ID station specification |
scientific article |
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
