1782 search results - page 4 / 357 » Tool Support for Proof Engineering |
AOSD
2010
ACM
14 years 3 months ago
2010
ACM
AOSD
2008
ACM
13 years 10 months ago
2008
ACM
PLDI
2006
ACM
14 years 2 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
IWPC
2003
IEEE
14 years 1 months ago
2003
IEEE
A key desideratum for many software comprehension tools is to reduce the mental burdens of software engineers. That is, the tools should support cognition. This key benefit is di...
EUROMICRO
2006
IEEE
14 years 2 months ago
2006
IEEE
In large software and systems engineering companies like Siemens PSE there are several requirements tools in use. There is no “one tool fits all projects/departments” solution...