Search Sciweavers | Sciweavers

3224 search results - page 216 / 645

» On Checking Model Checkers

167

click to vote

SIGSOFT
2010
ACM

149views Software Engineering» more SIGSOFT 2010»

Differential static analysis: opportunities, applications, and challenges

15 years 1 months ago

Download research.microsoft.com

It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...

Shuvendu K. Lahiri, Kapil Vaswani, C. A. R. Hoare

claim paper

Read More »

click to vote

DAC
1999
ACM

128views Computer Architecture» more DAC 1999»

Symbolic Model Checking Using SAT Procedures instead of BDDs

16 years 5 months ago

Download reports-archive.adm.cs.cmu.edu

Armin Biere, Alessandro Cimatti, Edmund M. Clarke,...

claim paper

Read More »

106

Voted

DAC
2002
ACM

95views Computer Architecture» more DAC 2002»

Can BDDs compete with SAT solvers on bounded model checking?

16 years 5 months ago

Download lcs.ios.ac.cn

Gianpiero Cabodi, Paolo Camurati, Stefano Quer

claim paper

Read More »

104

click to vote

DAC
2005
ACM

126views Computer Architecture» more DAC 2005»

Minimising buffer requirements of synchronous dataflow graphs with model checking

16 years 5 months ago

Download www.ics.ele.tue.nl

Signal processing and multimedia applications are often implemented on resource constrained embedded systems. It is therefore important to find implementations that use as little ...

Marc Geilen, Twan Basten, Sander Stuijk

claim paper

Read More »

229

click to vote

POPL
2009
ACM

102views Programming Languages» more POPL 2009»

A foundation for flow-based program matching: using temporal logic and model checking

16 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers