Search Sciweavers | Sciweavers

4693 search results - page 47 / 939

» Verifying Hybrid Systems

103

click to vote

FMSD
2000

69views more FMSD 2000»

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

15 years 4 months ago

Download www.aladdin.cs.cmu.edu

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

claim paper

Read More »

115

click to vote

IPL
2002

62views more IPL 2002»

Verifying lossy channel systems has nonprimitive recursive complexity

15 years 3 months ago

Download www.lsv.ens-cachan.fr

Ph. Schnoebelen

claim paper

Read More »

click to vote

LOGCOM
2002

52views more LOGCOM 2002»

Verifying Concurrent Systems with Symbolic Execution

15 years 3 months ago

Download deposit.ddb.de

Michael Balser, Christoph Duelli, Wolfgang Reif, G...

claim paper

Read More »

108

click to vote

CADE
2010
Springer

162views Logical Reasoning» more CADE 2010»

Verifying Safety Properties with the TLA+ Proof System

15 years 3 months ago

Download www.lix.polytechnique.fr

Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport,...

claim paper

Read More »

100

click to vote

CORR
2009
Springer

85views Education» more CORR 2009»

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers