Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle.

Bohua Zhan Maximilian P. L. Haslbeck

Published in: CoRR (2018)

Keyphrases

imperative programs
dynamic logic
theorem prover
model checking
natural deduction
artificial intelligence
data model
theorem proving