Tool title |
Title of page above |
Type |
Academic |
Owner/Source |
MicroSoft |
Link |
|
Description |
An experimental system, in development at MicroSoft by Rob DeLine and Manuel Fahndrich. It is based on formal annotations placed in the code. (Link needs to be updated.) |
User |
TBD, |
SWE |
SWE-135, SWE-999, |
