Avancerad sökning
Visar resultat 1 - 5 av 735 avhandlingar som matchar ovanstående sökkriterier.
1. Algorithmic Verification Techniques for Mobile Code
Sammanfattning : Modern computing platforms strive to support mobile code without putting system security at stake. These platforms can be viewed as open systems, as the mobile code adds new components to the running system. Establishing that such platforms function correctly can be divided into two steps. LÄS MER
2. Virtual verification : Impact of a new work method on the final verification process
Sammanfattning : .... LÄS MER
3. Module property verification : A method to plan and perform quality verifications in modular architectures
Sammanfattning : Modular product architectures have generated numerous benefits for companies in terms of cost, lead-time and quality. The defined interfaces and the module’s properties decrease the effort to develop new product variants, and provide an opportunity to perform parallel tasks in design, manufacturing and assembly. LÄS MER
4. Verification of Software under Relaxed Memory
Sammanfattning : The work covered in this thesis concerns automatic analysis of correctness of parallel programs running under relaxed memory models.When a parallel program is compiled and executed on a modern architecture, various optimizations may cause it to behave in unexpected ways. LÄS MER
5. Procedure-Modular Verification of Temporal Safety Properties
Sammanfattning : This thesis presents a fully automated technique for procedure-modular verification of control flow temporal safety properties. Procedure-modular verification is a natural instantiation of modular verification where modularity is achieved at the level of procedures. LÄS MER