Proof Obligations Preserving Compilation.

Gilles Barthe Tamara Rezk Ando Saabas

Published in: Formal Aspects in Security and Trust (2005)

Keyphrases

deontic logic
agent architecture
decision making
theorem prover
linear logic
genetic algorithm
information systems
three dimensional
multi agent
mobile robot
probabilistic model
theorem proving
update semantics