FunFrog

swMATH6571MaRDI QIDQ18663FDOQ18663

Author name not available (Why is that?)

Official website: http://rd.springer.com/chapter/10.1007%2F978-3-642-33386-6_17

Cited In (8)

• Exploiting partial variable assignment in interpolation-based model checking
• OpenSMT2: an SMT solver for multi-core and cloud computing
• Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection
• eVolCheck: incremental upgrade checker for C
• PeRIPLO
• eVolCheck
• ESBMC
• PeRIPLO: a framework for producing effective interpolants in SAT-based software verification

This page was built for software: FunFrog