Login / Signup

Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle.

Bohua ZhanMaximilian P. L. Haslbeck
Published in: IJCAR (2018)
Keyphrases
  • imperative programs
  • theorem prover
  • dynamic logic
  • model checking
  • plan execution
  • knowledge base
  • web services
  • relational databases
  • intelligent systems
  • inference rules
  • theorem proving