Sökning: "Mauricio Chimento"
Hittade 2 avhandlingar innehållade orden Mauricio Chimento.
1. Combined Static and Dynamic Verification of Object Oriented Software Through Partial Proofs
Sammanfattning : 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. LÄS MER
2. Unified Static and Runtime Verification of Object-Oriented Software
Sammanfattning : 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. LÄS MER
Resultatsidor:
1