Login / Signup
Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic.
Richard Bubel
Andreas Roth
Philipp Rümmer
Published in:
Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
</>
lightweight
dynamic logic
modal logic
smart card
reasoning about actions
formal specification
agent programming
imperative programs
wireless sensor networks
propositional dynamic logic
machine learning
temporal logic