-
Notifications
You must be signed in to change notification settings - Fork 8
ResponsibilityIndex
Attila Sukosd edited this page Mar 15, 2013
·
3 revisions
| WHAT | WHO | WHICH DIP? |
| which JML AST? | UCD + ETHZ | DIP2 |
| BoogiePL AST stuff | UCD \ Joe > ETHZ \ Peter | DIP2 |
| Mobius VC AST | UCD > INRIA | DIP2 |
| BC + BML -> BoogiePL | ETHZ > UCD | DIP2 |
| BC (+ BML) -> Mobius Bicolano [bico] | WU > INRIA \ David | DIP2 |
| SC + JML (the JML tool suite AST ) -> BoogiePL (AST) | WU > ETHZ | |
| SC + JML -> BC + BML | UCD > INRIA esp Lilian | |
| BoogiePL -> Mobius VC AST | RUN > ETHZ + INRIA | |
| Mobius VC AST -> Coq | INRIA > UCD | |
| Mobius VC AST -> Simplify | UCD > INRIA | |
| evaluate the Simplify -> Harvey translator | Joe@UCD | |
| Mobius VC AST -> PVS | UCD > INRIA | |
| Mobius VC AST -> Harvey | INRIA > UCD | |
| Mobius VC AST -> SMT-LIB | UCD | |
| later extension to multithreading | INRIA < UCD |
Version: 3 Time: Sun Sep 16 21:42:39 2007 Author: dcochran (dcochran) IP: 193.120.116.177