Sökning: "Jan-willem Roorda"

Hittade 2 avhandlingar innehållade orden Jan-willem Roorda.

1. 1. Semantics, Decision Procedures, and Abstraction Refinement for Symbolic Trajectory Evaluation

   Författare :Jan-Willem Roorda; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Semantics; Abstraction; Satisfiability Solver; Symbolic Trajectory Evaluation; Formal Verification.; Model Checking;

   Sammanfattning : The rapid growth in hardware complexity has led to a need for formal verification of hardware designs to prevent bugs from entering the final silicon. Model-checking is a verification method in which a model of a system is checked against a property, describing the desired behaviour of the system over time. LÄS MER

3. 2. Symbolic Trajectory Evaluation using a Satisfiability Solver

   Författare :Jan-Willem Roorda; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : .... LÄS MER