Sökning: "computer-aided verification applications"
Hittade 4 avhandlingar innehållade orden computer-aided verification applications.
1. Other Things Besides Number : Abstraction, Constraint Propagation, and String Variable Types
Sammanfattning : Constraint programming (CP) is a technology in which a combinatorial problem is modeled declaratively as a conjunction of constraints, each of which captures some of the combinatorial substructure of the problem. Constraints are more than a modeling convenience: every constraint is partially implemented by an inference algorithm, called a propagator, that rules out some but not necessarily all infeasible candidate values of one or more unknowns in the scope of the constraint. LÄS MER
2. Computer integrated design systems in concurrent engineering
Sammanfattning : This thesis comprises six papers dealing with implementations and techniques for linking computer-aided applications for design and analysis into a concurrent engineering environment. Each paper deals with a part of the environment - together they constitute an integrated design system for concurrent engineering. LÄS MER
3. Dominator-based Algorithms in Logic Synthesis and Verification
Sammanfattning : Today's EDA (Electronic Design Automation) industry faces enormous challenges. Their primary cause is the tremendous increase of the complexity of modern digital designs. Graph algorithms are widely applied to solve various EDA problems. LÄS MER
4. Combinatorial Optimization for Infinite Games on Graphs
Sammanfattning : Games on graphs have become an indispensable tool in modern computer science. They provide powerful and expressive models for numerous phenomena and are extensively used in computer- aided verification, automata theory, logic, complexity theory, computational biology, etc. LÄS MER