Sökning: "First-Order Logic"

Visar resultat 26 - 30 av 38 avhandlingar innehållade orden First-Order Logic.

1. 26. Reasoning about interdependent actions

   Författare :Christer Bäckström; Linköpings universitet; []
   Nyckelord :HUMANIORA; HUMANITIES;

   Sammanfattning : This thesis consists of two papers on different but related topics.The first paper is concerned with the use of logic as a tool to model mechanical assembly processes. LÄS MER

3. 27. A framework for reasoning about Erlang code

   Författare :Lars-Åke Fredlund; RISE; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : We present a framework for formal reasoning about the behaviour of software written in Erlang, a functional programming language with prominent support for process based concurrency, message passing communication and distribution. The framework contains the following key ingredients: a specification language based on the mu-calculus and first-order predicate logic, a hierarchical small-step structural operational semantics of Erlang, a judgement format allowing parameterised behavioural assertions, and a Gentzen style proof system for proving validity of such assertions. LÄS MER

4. 28. 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. 29. Gate Level Description of Synchronous Hardware and Automatic Verification Based on Theorem Proving

   Författare :Per Bjesse; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : Today's hardware development industry faces enormous problems. The primary reason for this is that the complexity of state-of-the-art hardware devices is growing faster than the capacity of the tools that are used to check that they are correct. LÄS MER

7. 30. Switch-Level Fault Simulation Based on Local Algorithms

   Författare :Peter Dahlgren; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; switch level; fault propagation; fault simulation; physical fault injection; short faults; stuck-at faults; fault modeling; transients; self-checking circuits; multiple dominance;

   Sammanfattning : The presence of realistic faults in CMOS networks, such as shorts and opens, frequently gives rise to intermediate voltage values. At the switch level, these values result in undetermined logic states (X) which are likely to propagate to the outputs, causing uncertainty in the estimation of test set efficiency. LÄS MER