Related Projects

  • Techniques from the Bandera project are being adapted to exploit the intermediate representations of synchronization implementations to enable construction of more compact models for verification.