Related Projects

  • The Bandera Project integrates existing programming language processing techniques with newly developed techniques to provide automated support for the extraction of safe, compact, finite-state models that are suitable for verification from Java source code.
  • Using Events to Extend the Pattern System