DE60331543D1 - Efficient Approaches to Bounded Model Checking - Google Patents
Efficient Approaches to Bounded Model CheckingInfo
- 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
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)
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
EP03020777A EP1515251B1 (en) | 2003-09-12 | 2003-09-12 | Efficient approaches for bounded model checking |
Publications (1)
Publication Number | Publication Date |
---|---|
DE60331543D1 true DE60331543D1 (en) | 2010-04-15 |
Family
ID=34130207
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
DE60331543T Expired - Lifetime DE60331543D1 (en) | 2003-09-12 | 2003-09-12 | Efficient Approaches to Bounded Model Checking |
Country Status (2)
Country | Link |
---|---|
EP (1) | EP1515251B1 (en) |
DE (1) | DE60331543D1 (en) |
Families Citing this family (4)
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 |
US12099883B1 (en) | 2023-10-27 | 2024-09-24 | Eygs Llp | Systems and methods to generate machine-executable programs configured to present data in cloud environments |
Family Cites Families (2)
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 |
-
2003
- 2003-09-12 EP EP03020777A patent/EP1515251B1/en not_active Expired - Lifetime
- 2003-09-12 DE DE60331543T patent/DE60331543D1/en not_active Expired - Lifetime
Also Published As
Publication number | Publication date |
---|---|
EP1515251B1 (en) | 2010-03-03 |
EP1515251A1 (en) | 2005-03-16 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
DE602004032238D1 (en) | COMBINATION BATTERY | |
IS2693B (en) | phenoxyacetic | |
DE50303860D1 (en) | Casing for turbocharger | |
DE602004006816D1 (en) | charger | |
DE502004008190D1 (en) | silencer | |
DE60313448D1 (en) | Teacher-pupil flip-flop | |
DE50309835D1 (en) | metering | |
NO20042528L (en) | Francis Turbine | |
DE602004001142D1 (en) | silencer | |
DE602004016446D1 (en) | honeycomb structure | |
FI114831B (en) | Computer-aided model design | |
DE502004006601D1 (en) | ER TURBINE | |
NO20034599D0 (en) | Structure | |
DE502004008433D1 (en) | CELL | |
NO20043350L (en) | Francis Turbine | |
DE60331543D1 (en) | Efficient Approaches to Bounded Model Checking | |
NO20034600D0 (en) | Structure | |
DE602004031650D1 (en) | DREHBUND FOR HUBSÄGE | |
ATA20132003A (en) | sorption | |
DE50301675D1 (en) | metering | |
ES1059036Y (en) | TOY FIGURE | |
DE60304674D1 (en) | battery assembly | |
FI20045459A0 (en) | Computer-aided model design | |
FI20045164A (en) | Lifespan Model | |
DE50304219D1 (en) | metering |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
8364 | No opposition during term of opposition |