Login / Signup

Theory-Specific Proof Steps Witnessing Correctness of SMT Executions.

Rodrigo OtoniMartin BlichaPatrick EugsterAntti E. J. HyvärinenNatasha Sharygina
Published in: DAC (2021)
Keyphrases
  • theoretical framework
  • theoretical basis
  • general theory
  • real time
  • databases
  • neural network
  • artificial intelligence
  • knowledge base
  • high level
  • theoretical foundation
  • theorem prover
  • formal theory
  • linear logic