Login / Signup

Combining Theorem Proving and Continuous Models in Synchronous Design.

Simin Nadjm-TehraniOve Åkerlund
Published in: World Congress on Formal Methods (1999)
Keyphrases
  • theorem proving
  • automatic programming
  • decision procedures
  • automated deduction
  • first order logic
  • automated reasoning
  • inference rules
  • theorem prover
  • proof procedure
  • parallel search
  • proof planning