Login / Signup

A software framework for automated verification.

Ivo RaedtsMarija PetkovicAlexander SerebrenikJan Martijn E. M. van der WerfLou J. SomersMaarten Boote
Published in: SAC (2007)
Keyphrases
  • software architecture
  • main contribution
  • automated verification
  • software tools
  • computer systems
  • genetic algorithm
  • knowledge base
  • website
  • social network analysis
  • design patterns
  • conceptual framework