Proof-Carrying Apps: Contract-Based Deployment-Time Verification.

Sönke Holthusen Michael Nieke Thomas Thüm Ina Schaefer

Published in: ISoLA (1) (2016)

Keyphrases

formal proof
model checking
theorem prover
formal verification
information systems
theorem proving
mathematical proofs
formal methods
data mining
first order logic
supply chain
bayesian networks
artificial intelligence
development tools
cryptographic protocols
asynchronous circuits
data sets