Login / Signup

Interpolation-Based Function Summaries in Bounded Model Checking.

Ondrej SeryGrigory FedyukovichNatasha Sharygina
Published in: Haifa Verification Conference (2011)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • temporal logic
  • search tree
  • spline interpolation