Search Sciweavers | Sciweavers

2407 search results - page 22 / 482

» A Tool for Abstraction in Model Checking

112

click to vote

FUIN
2006

80views more FUIN 2006»

Update and Abstraction in Model Checking of Knowledge and Branching Time

15 years 5 months ago

Download pllab.kaist.ac.kr

Nikolay V. Shilov, Natalya Olegovna Garanina, K.-M...

claim paper

Read More »

120

click to vote

JUCS
2008

159views more JUCS 2008»

Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking

15 years 5 months ago

Download www.jucs.org

Anatol Slissenko, Pavel Vasilyev

claim paper

Read More »

120

click to vote

DT
2007

98views more DT 2007»

Combining Theorem Proving with Model Checking through Predicate Abstraction

15 years 5 months ago

Download www.cs.utexas.edu

Sandip Ray, Rob Sumners

claim paper

Read More »

130

click to vote

TC
2010

87views Information Technology» more TC 2010»

Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement

15 years 4 months ago

Download www.csee.usf.edu

Hao Zheng, Haiqiong Yao, Tomohiro Yoneda

claim paper

Read More »

133

click to vote

PLDI
2011
ACM

153views Programming Languages» more PLDI 2011»

Predicate abstraction and CEGAR for higher-order model checking

14 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers