Search Sciweavers | Sciweavers

1054 search results - page 13 / 211

» Abstract Regular Model Checking

117

click to vote

DAGSTUHL
2006

122views Software Engineering» more DAGSTUHL 2006»

06172 Abstracts Collection -- Directed Model Checking

15 years 5 months ago

Download drops.dagstuhl.de

Stefan Edelkamp, Stefan Leue, Willem Visser

claim paper

Read More »

100

click to vote

FUIN
2006

80views more FUIN 2006»

Update and Abstraction in Model Checking of Knowledge and Branching Time

15 years 4 months ago

Download pllab.kaist.ac.kr

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

claim paper

Read More »

109

click to vote

JUCS
2008

159views more JUCS 2008»

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

15 years 4 months ago

Download www.jucs.org

Anatol Slissenko, Pavel Vasilyev

claim paper

Read More »

105

click to vote

DT
2007

98views more DT 2007»

Combining Theorem Proving with Model Checking through Predicate Abstraction

15 years 4 months ago

Download www.cs.utexas.edu

Sandip Ray, Rob Sumners

claim paper

Read More »

115

click to vote

TC
2010

87views Information Technology» more TC 2010»

Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers