Search for dissertations about: "Mauricio Chimento"
Found 2 swedish dissertations containing the words Mauricio Chimento.
-
1. Combined Static and Dynamic Verification of Object Oriented Software Through Partial Proofs
Abstract : When verifying software one can make use of several verification techniques. These techniques mostly fall in one of two categories: Static Verification and Dynamic Verification. Static verification deals with the analysis of either concrete source code, or a model of it. READ MORE
-
2. Unified Static and Runtime Verification of Object-Oriented Software
Abstract : At the time of verifying software one can make use of several verification techniques. These techniques mostly fall in one of two categories: Static Verification and Dynamic Verification. READ MORE
Result pages:
1