Sökning: "Modular Verification"

Visar resultat 16 - 19 av 19 avhandlingar innehållade orden Modular Verification.

  1. 16. Runtime Monitoring for Safe Automated Driving Systems

    Författare :Ayhan Mehmed; Sasikumar Punnekkat; Michael Paulitsch; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : Mass-produced passenger vehicles are one of the greatest inventions of the 20th century that significantly changed human lives. Several safety measures such as traffic signs, traffic lights, mandatory driver education, seat belts, airbags, and anti-lock braking systems were introduced throughout the years. LÄS MER

  3. 17. Applications of SAT solving

    Författare :Niklas Sörensson; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : In the area of formal verification it is well known that there can be no single logic that suits all needs. This insight motivates the diversity of this dissertation: it contains contributions to SAT solving, First Order theorem proving and Model Finding, and Symbolic Model Checking. LÄS MER

  4. 18. Quantifiers and Theories : A Lazy Approach

    Författare :Peter Backeman; Philipp Rümmer; Jie-Hong Roland Jiang; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Automated Reasoning; Automated Theorem Proving; SMT; Unification; Datavetenskap med inriktning mot inbyggda system; Computer Science with specialization in Embedded Systems;

    Sammanfattning : In this thesis we study Automated Theorem Proving (ATP) as well as Satisfiability Modulo Theories (SMT) and present lazy strategies for improving reasoning within these areas. A lazy strategy works by simplifying a problem, and gradually refines the abstraction only when necessary. LÄS MER

  5. 19. Study of Wired and Wireless Data Transmissions

    Författare :Allan Huynh; Shaofang Gong; Li-Rong Zheng; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Electronics; Elektronik;

    Sammanfattning : The topic of this dissertation is divided into two parts where the first part presents high-speed data transmission on flexible cables and the second part presents a wireless remote monitoring and controlling system with wireless data transmission.The demand on high-speed data communications has pushed both the wired and wireless technologies to operate at higher and higher frequencies. LÄS MER