Search Sciweavers | Sciweavers

1176 search results - page 2 / 236

» Implicit Abstraction Heuristics

click to vote

AIPS
2011

217views Artificial Intelligence» more AIPS 2011»

Abstraction Heuristics Extended with Counting Abstractions

12 years 11 months ago

Download ldc.usb.ve

Blai Bonet

claim paper

Read More »

click to vote

DAC
1994
ACM

104views Computer Architecture» more DAC 1994»

New Techniques for Efficient Verification with Implicitly Conjoined BDDs

13 years 11 months ago

Download www.cecs.uci.edu

-- In previous work, Hu and Dill identified a common cause of BDD-size blowup in high-level design verification and proposed the method of implicitly conjoined invariants to addres...

Alan J. Hu, Gary York, David L. Dill

claim paper

Read More »

click to vote

ICFEM
2009
Springer

80views Software Engineering» more ICFEM 2009»

Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction

14 years 2 months ago

Download www.comp.nus.edu.sg

Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Z...

claim paper

Read More »

click to vote

ICCD
1996
IEEE

116views Hardware» more ICCD 1996»

Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration

13 years 11 months ago

Download users.encs.concordia.ca

Michel Langevin, Sofiène Tahar, Zijian Zhou...

claim paper

Read More »

click to vote

CORR
2006
Springer

98views Education» more CORR 2006»

On Quasi-Interpretations, Blind Abstractions and Implicit Complexity

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers