Sökning: "Modular Verification"
Visar resultat 1 - 5 av 19 avhandlingar innehållade orden Modular Verification.
1. 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
2. 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
3. A Verification Framework for Component Based Modeling and Simulation : “Putting the pieces together”
Sammanfattning : The discipline of component-based modeling and simulation offers promising gains including reduction in development cost, time, and system complexity. This paradigm is very profitable as it promotes the use and reuse of modular components and is auspicious for effective development of complex simulations. LÄS MER
4. Sound Modular Extraction of Control Flow Graphs from Java Bytecode
Sammanfattning : Control flow graphs (CFGs) are abstract program models that preserve the control flow information. They have been widely utilized for many static analyses in the past decades. LÄS MER
5. Decentralized Modular Router Architectures
Sammanfattning : The Internet grows extremely fast in terms of number of users and traffic volume, as well as in the number of services that must be supported. This development results in new requirements on routers—the main building blocks of the Internet. LÄS MER