Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
|
| gptkbp:application |
gptkb:security
access control |
| gptkbp:commissionedBy |
US National Security Agency
|
| gptkbp:demonstrates |
formal verification
high assurance software development |
| gptkbp:developedBy |
gptkb:Praxis_High_Integrity_Systems
|
| gptkbp:documentation |
yes
|
| gptkbp:hasComponent |
biometric access control system
entry control system |
| https://www.w3.org/2000/01/rdf-schema#label |
Tokeneer project
|
| gptkbp:license |
open source
|
| gptkbp:notableFor |
publicly available code and specification
use of formal specification |
| gptkbp:purpose |
demonstrate formal methods in software engineering
|
| gptkbp:usedAs |
case study in formal methods
|
| gptkbp:website |
https://www.adacore.com/tokeneer
|
| gptkbp:writtenBy |
gptkb:SPARK_Ada
|
| gptkbp:bfsParent |
gptkb:Praxis_High_Integrity_Systems
|
| gptkbp:bfsLayer |
7
|