Login / Signup
A core calculus for secure hardware: its formal semantics and proof system.
Thomas N. Reynolds
Adam M. Procter
William L. Harrison
Gerard Allwein
Published in:
MEMOCODE (2017)
Keyphrases
</>
formal semantics
formal language
proof search
theorem prover
operational semantics
logical language
sequent calculus
first order logic
modal logic
logical reasoning
modelling language
cut elimination
inference rules
speech acts
databases
er model
linear time temporal logic
data management