Search Sciweavers | Sciweavers

10870 search results - page 134 / 2174

» Model Checking Programs

143

click to vote

SAT
2004
Springer

85views Hardware» more SAT 2004»

Visualizing the Internal Structure of SAT Instances (Preliminary Report)

15 years 10 months ago

Download www.carstensinz.de

Modern algorithms for the SAT problem reveal an almost tractable behavior on “real-world” instances. This is frequently contributed to the fact that these instances possess an ...

Carsten Sinz

claim paper

Read More »

149

click to vote

COCOON
2003
Springer

159views Combinatorics» more COCOON 2003»

Petri Nets with Simple Circuits

15 years 10 months ago

Download cc.ee.ntu.edu.tw

We study the complexity of the reachability problem for a new subclass of Petri nets called simple-circuit Petri nets, which properly contains several well known subclasses such as...

Hsu-Chun Yen, Lien-Po Yu

claim paper

Read More »

274

click to vote

AB
2008
Springer

384views Computational Biology» more AB 2008»

Tutorial on Model Checking: Modelling and Verification in Computer Science

15 years 11 months ago

Download fmv.jku.at

Armin Biere

claim paper