| Contributions (2007) | |||||||||||||
Abstract | |||||||||||||
| Software systems are becoming more and more complex and are used in safety and security critical applications. Formal methods are one way to increase their reliability. But, formal methods are hardly used by mainstream industry: difficult to understand notation lack of tool support high costs Semi-formal methods, especially uml, are widely used in industry, but they lack support for formal methodologies. Achim D. Brucker (eth Zurich) A Proof Environment for oo Specifications March 9th, 2007 2 | |||||||||||||
Publication details | |||||||||||||
| |||||||||||||