Sökning: "verification"

Visar resultat 11 - 15 av 735 avhandlingar innehållade ordet verification.

1. 11. Verification of Erlang Programs using Testing and Tracing

   Författare :Hans Svensson; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Erlang; Verification; Testing; Tracing;

   Sammanfattning : Producing reliable computer programs is a difficult and expensivetask, and the constant demand for more and more complex systems doesnot make the task easier. In this thesis we present some programverification tools and techniques which can improve the situation. LÄS MER

3. 12. Unified Static and Runtime Verification of Object-Oriented Software

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

   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

4. 13. A Verification Framework for Component Based Modeling and Simulation : “Putting the pieces together”

   Författare :Imran Mahmood; Rassul Ayani; Gary Tan; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Modeling and Simulation; Component-based development; Composability; Semantic Composability; Dynamic-Semantic Composability; Verification; Correctness; Petri Nets Analysis; Algebraic Techniques; Colored Petri Nets; State-space Analysis; Communicating Sequential Processes; Model Checking.; SRA - ICT; SRA - Informations- och kommunikationsteknik;

   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

5. 14. Automatic Extraction of Program Models for Formal Software Verification

   Författare :Pedro de Carvalho Gomes; Dilian Gurov; Einar Johnsen; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software Verification; Static Analysis; Program Models; Petri Nets; Compositional Verification; Concurrency; Computer Science; Datalogi;

   Sammanfattning : In this thesis we present a study of the generation of abstract program models from programs in real-world programming languages that are employed in the formal verification of software. The thesis is divided into three parts, which cover distinct types of software systems, programming languages, verification scenarios, program models and properties. LÄS MER

7. 15. Design and Verification of Component Based Real-Time Systems

   Författare :John Håkansson; Paul Pettersson; Wang Yi; Johan Lilius; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Component Based Software; Real-Time Systems; Model Checking; Verification; Timed Automata; Embedded Systems; Computer science; Datavetenskap; Datavetenskap; Computer Science;

   Sammanfattning : The design of embedded real-time systems is becoming more and more challengingdue to the increasing complexity of new hardware platforms, requirements onnew system functionality, and economical constraints on system development.Component based design has been successful for the development of general-purposecomputer systems such as destop and e-business. LÄS MER