Login / Signup

FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization.

Ondrej SeryGrigory FedyukovichNatasha Sharygina
Published in: ATVA (2012)
Keyphrases
  • bounded model checking
  • formal verification
  • linear temporal logic
  • spline interpolation
  • neural network
  • learning algorithm
  • model checking
  • multi agent systems
  • temporal logic