Login / Signup

Improving lazy abstraction for SCR specifications through constraint relaxation.

Renzo DegiovanniPablo PonzioNazareno AguirreMarcelo F. Frias
Published in: Softw. Test. Verification Reliab. (2018)
Keyphrases
  • constraint relaxation
  • constraint satisfaction
  • high level
  • bounded model checking
  • constraint optimization
  • social networks
  • constraint satisfaction problems
  • branch and bound algorithm
  • delay insensitive