Projects Current Sireum – A High Assurance System Engineering Platform Past Bandera – a software model checker for concurrent Java programs Bogor – a software model checking framework Cadena – an Eclipse-based extensible integrated modeling and development framework for component-based systems JMLEclipse – an Eclipse-based front-end for the Java Modeling Language (JML) MDCF
