Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
User contributions
- 04:33, 4 April 2011 (diff | hist) . . (+1) . . Google Summer of Code 2011 Ideas (→Tools - Implement a tool for compositional verification of temporal safety properties)
- 04:20, 4 April 2011 (diff | hist) . . (+14) . . m Google Summer of Code 2011 Ideas (→Tools - Implement a tool for compositional verification of temporal safety properties)
- 12:45, 31 March 2011 (diff | hist) . . (+2,045) . . Google Summer of Code 2011 Ideas (Addition of proposal for Compositional Verification tool)