Search Sciweavers | Sciweavers

6608 search results - page 230 / 1322

» On the Completeness of Model Checking

136

click to vote

TOSEM
2008

91views more TOSEM 2008»

Combining symbolic execution with model checking to verify parallel numerical programs

15 years 6 months ago

Download laser.cs.umass.edu

Stephen F. Siegel, Anastasia Mironova, George S. A...

claim paper

Read More »

146

click to vote

AICOM
2004

70views more AICOM 2004»

Model checking for the concurrent constraint paradigm

15 years 6 months ago

Download www.dimi.uniud.it

Alicia Villanueva

claim paper

Read More »

127

click to vote

COMPUTER
2000

53views more COMPUTER 2000»

E-Process Design and Assurance Using Model Checking

15 years 6 months ago

Download crec.mccombs.utexas.edu

Wenli Wang, Zoltán Hidvégi, Andrew D...

claim paper

Read More »

138

Voted

FMSD
2000

69views more FMSD 2000»

Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System

15 years 6 months ago

Download www.aladdin.cs.cmu.edu

Sérgio Vale Aguiar Campos, Edmund M. Clarke...

claim paper

Read More »

click to vote

ENTCS
2002

56views more ENTCS 2002»

Using Assumptions to Distribute CTL Model Checking

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers