Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:company
|
| gptkbp:foundedYear |
1983
|
| https://www.w3.org/2000/01/rdf-schema#label |
Praxis Critical Systems
|
| gptkbp:industry |
software engineering
critical systems |
| gptkbp:location |
gptkb:Bath,_United_Kingdom
|
| gptkbp:mergedInto |
gptkb:Altran_UK
|
| gptkbp:notableFor |
use of formal methods
|
| gptkbp:notableProject |
gptkb:CICS_(Critical_Infrastructure_Control_Systems)
gptkb:SHOLIS_(Software_for_High-Integrity_Large_Information_Systems) gptkb:Tokeneer_project |
| gptkbp:parentCompany |
gptkb:Altran
|
| gptkbp:specializesIn |
safety-critical systems
high-integrity software security-critical systems |
| gptkbp:website |
https://www.praxisframework.org/
|
| gptkbp:bfsParent |
gptkb:SPARK_programming_language
gptkb:ProofPower-HOL |
| gptkbp:bfsLayer |
7
|