Period
2008 - 2008
Number
1
Co-Authors
Turning uml/ocl Into a Strong Formal Method Developing Formal Tools Using Embeddings hol-ocl Conclusions Bibliography Achim D. Brucker Verification of uml/ocl Specifications with hol-ocl Motivation Turning uml/ocl Into a Strong Formal Method Developing Fo (2008)
Achim D. Brucker, A Software, Engineering Problem
▸ Software systems ▸ are becoming more and more complex. ▸ used in safety and security critical applications. ▸ Formal methods are one way to ensure the correctness. ▸ But, formal methods...