Sökning: "automatic verification"

Visar resultat 11 - 15 av 65 avhandlingar innehållade orden automatic verification.

  1. 11. Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape Analysis

    Författare :Frédéric Haziza; Parosh Aziz Abdulla; Tomáš Vojnar; Uppsala universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; program verification; model checking; parameterized systems; infinite-state systems; reachability; approximation; safety; tree systems; shape analysis; small model properties; view abstraction; monotonic abstraction; Computer Science; Datavetenskap;

    Sammanfattning : This doctoral thesis considers the automatic verification of parameterized systems, i.e. systems with an arbitrary number of communicating components, such as mutual exclusion protocols, cache coherence protocols or heap manipulating programs. The components may be organized in various topologies such as words, multisets, rings, or trees. LÄS MER

  3. 12. Verifying Absence of ∞ Loops in Parameterized Protocols

    Författare :Mayank Saksena; Bengt Jonsson; Ahmed Bouajjani; Uppsala universitet; []
    Nyckelord :formal methods; verification; model checking; infinite-state systems; regular model checking; liveness; graph transformation;

    Sammanfattning : The complex behavior of computer systems offers many challenges for formal verification. The analysis quickly becomes difficult as the number of participating processes increases. A parameterized system is a family of systems parameterized on a number n, typically representing the number of participating processes. LÄS MER

  4. 13. Computational Methods for Deformable 1D Objects in Virtual Product Realization

    Författare :Tomas Hermansson; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; assembly verification; variation simulation; robust design; path planning; Cosserat rod theory; deformable 1D objects; automatic routing;

    Sammanfattning : In industry today, virtual design tools are used in the realization of a new product. As changes in the design and planning concepts are extremely costly in the later verification and production phases, much can be gained if a product design can be optimized and verified with respect to the assembly process with simulation tools as early as possible. LÄS MER

  5. 14. Creating Correct Network Protocols

    Författare :Oskar Wibling; Joachim Parrow; Parosh Abdulla; Ansgar Fehnker; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; network protocols; formal methods; verification; testing; routing protocols; wireless ad hoc networks; model checking; graph transformation; infinite-state systems; Computer science; Datavetenskap;

    Sammanfattning : Network protocol construction is a complex and error prone task. The challenges originate both from the inherent complexity of developing correct program code and from the distributed nature of networked systems. Protocol errors can have devastating consequences. LÄS MER

  7. 15. Deformations and stresses in butt-welding of plates : numerical simulation and experimental verification

    Författare :Lars-Erik Lindgren; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Material Mechanics; Materialmekanik;

    Sammanfattning : Deformation and stresses in butt-welding of plates were studied. The work includes numerical simulation and experimental verification. The simulations were performed by use of the finite element method. Temperature dependence of material properties and phase transformations were considered. LÄS MER