DE60331543D1 - Effiziente Ansätze für Bounded Model Checking - Google Patents

Effiziente Ansätze für Bounded Model Checking

Info

Publication number
DE60331543D1
DE60331543D1 DE60331543T DE60331543T DE60331543D1 DE 60331543 D1 DE60331543 D1 DE 60331543D1 DE 60331543 T DE60331543 T DE 60331543T DE 60331543 T DE60331543 T DE 60331543T DE 60331543 D1 DE60331543 D1 DE 60331543D1
Authority
DE
Germany
Prior art keywords
model checking
bounded model
efficient approaches
approaches
efficient
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired - Lifetime
Application number
DE60331543T
Other languages
English (en)
Inventor
Malay Ganai
Lintao Zhang
Aarti Gupta
Zijiang Yang
Pranav Ashar
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
NEC Corp
Original Assignee
NEC Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by NEC Corp filed Critical NEC Corp
Application granted granted Critical
Publication of DE60331543D1 publication Critical patent/DE60331543D1/de
Anticipated expiration legal-status Critical
Expired - Lifetime legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/30—Circuit design
    • G06F30/32—Circuit design at the digital level
    • G06F30/33—Design verification, e.g. functional simulation or model checking
    • G06F30/3323—Design verification, e.g. functional simulation or model checking using formal methods, e.g. equivalence checking or property checking

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Stored Programmes (AREA)
DE60331543T 2003-09-12 2003-09-12 Effiziente Ansätze für Bounded Model Checking Expired - Lifetime DE60331543D1 (de)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
EP03020777A EP1515251B1 (de) 2003-09-12 2003-09-12 Effiziente Ansätze für Bounded Model Checking

Publications (1)

Publication Number Publication Date
DE60331543D1 true DE60331543D1 (de) 2010-04-15

Family

ID=34130207

Family Applications (1)

Application Number Title Priority Date Filing Date
DE60331543T Expired - Lifetime DE60331543D1 (de) 2003-09-12 2003-09-12 Effiziente Ansätze für Bounded Model Checking

Country Status (2)

Country Link
EP (1) EP1515251B1 (de)
DE (1) DE60331543D1 (de)

Families Citing this family (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8533680B2 (en) * 2005-12-30 2013-09-10 Microsoft Corporation Approximating finite domains in symbolic state exploration
US8589327B2 (en) 2011-04-22 2013-11-19 International Business Machines Corporation Efficiently determining boolean satisfiability with lazy constraints
US8413091B2 (en) 2011-04-22 2013-04-02 International Business Machines Corporation Enhancing redundancy removal with early merging

Family Cites Families (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6324496B1 (en) * 1998-06-18 2001-11-27 Lucent Technologies Inc. Model checking of hierarchical state machines
US6651234B2 (en) * 2001-04-06 2003-11-18 Nec Corporation Partition-based decision heuristics for SAT and image computation using SAT and BDDs

Also Published As

Publication number Publication date
EP1515251A1 (de) 2005-03-16
EP1515251B1 (de) 2010-03-03

Similar Documents

Publication Publication Date Title
DE602004032238D1 (de) Kombinations-batterie
IS2693B (is) Fenoxýediksýruafleiður
DE50303860D1 (de) Gehäuse für Turbolader
DE502004008190D1 (de) Schalldämpfer
DE60313448D1 (de) Lehrer-Schüler-Flipflop
DE50309835D1 (de) Dosiervorrichtung
NO20042528L (no) Francisturbin
DE602004001142D1 (de) Schalldämpfer
DE602004016446D1 (de) Wabenstruktur
FI114831B (fi) Tietokoneavusteinen mallintaminen
DE502004006601D1 (de) Er turbine
NO20034599L (no) Brokonstruksjon
DE502004008433D1 (de) Wägezelle
NO20043350L (no) Francisturbin
NO20034600L (no) Brokonstruksjon
DE60331543D1 (de) Effiziente Ansätze für Bounded Model Checking
DE602004031650D1 (de) Drehbund für hubsäge
DE50301675D1 (de) Dosierpumpe
DE60304674D1 (de) Batterieanordnung
FI20045459A0 (fi) Tietokoneavusteinen mallintaminen
FI20045164A (fi) Elinikämalli
DE50304219D1 (de) Dosierpumpe
SE0302119D0 (sv) Hackamodell
NO20044068L (no) Rorledning
ITBA20030051A1 (it) Transenna salvaspazio

Legal Events

Date Code Title Description
8364 No opposition during term of opposition