Proof-Carrying Hardware via Inductive Invariants.
Tobias IsenbergMarco PlatznerHeike WehrheimTobias WiersemaPublished in: ACM Trans. Design Autom. Electr. Syst. (2017)
Keyphrases
- imperative programs
- low cost
- real time
- embedded systems
- inductive learning
- computing power
- computer systems
- hardware and software
- theorem prover
- hardware implementation
- image processing
- machine learning
- concept learning
- computing systems
- massively parallel
- moment invariants
- neural network
- knowledge representation
- inductive inference
- computational power
- linear logic
- inductive reasoning
- projective invariants