Search for dissertations about: "Mauricio Chimento"

Found 2 swedish dissertations containing the words Mauricio Chimento.

2. 1. Combined Static and Dynamic Verification of Object Oriented Software Through Partial Proofs

   Author : Mauricio Chimento; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   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

4. 2. Unified Static and Runtime Verification of Object-Oriented Software

   Author : Mauricio Chimento; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Runtime Verification; Java; Static Verification; Formal Methods;

   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