Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

DAC
2005
ACM

favoriteEmaildiscussreport

117views Computer Architecture» more DAC 2005»

Beyond safety: customized SAT-based model checking

14 years 5 months ago

Beyond safety: customized SAT-based model checking

Download lcs.ios.ac.cn

Malay K. Ganai, Aarti Gupta, Pranav Ashar

Real-time Traffic

DAC 2005 | Design Automation | SAT-based Model Checking |

claim paper

Related Content

» Transition predicate abstraction and fair termination

» Architectural support for safe software execution on embedded processors

Post Info
More Details (n/a)

Added	13 Nov 2009
Updated	13 Nov 2009
Type	Conference
Year	2005
Where	DAC
Authors	Malay K. Ganai, Aarti Gupta, Pranav Ashar

Comments (0)