Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution) ›

Contains the keyword constraint programming

Horváth Á, Varró D. Dynamic constraint satisfaction problems over models. Software and Systems Modeling. 2012;11(3):385-408. Abstract
Syndicate content

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login