Sciweavers

6608 search results - page 197 / 1322

» On the Completeness of Model Checking

127

Voted

CAV
2005
Springer

114views Hardware» more CAV 2005»

Bounded Model Checking of Concurrent Programs

15 years 10 months ago

Bounded Model Checking of Concurrent Programs

Download www.inf.ethz.ch

Ishai Rabinovitz, Orna Grumberg

claim paper

Read More »

147

Voted

CHARME
2005
Springer

128views Hardware» more CHARME 2005»

Real-Time Model Checking Is Really Simple

15 years 10 months ago

Real-Time Model Checking Is Really Simple

Download research.microsoft.com

Leslie Lamport

claim paper

Read More »

96

CSL
2005
Springer

101views Automated Reasoning» more CSL 2005»

Bounded Model Checking of Pointer Programs

15 years 10 months ago

Bounded Model Checking of Pointer Programs

Download www.ii.uni.wroc.pl

Witold Charatonik, Lilia Georgieva, Patrick Maier

claim paper

Read More »

106

Voted

FM
2005
Springer

81views Formal Methods» more FM 2005»

Operational Semantics for Model Checking Circus

15 years 10 months ago

Operational Semantics for Model Checking Circus

Download www.cs.york.ac.uk

Jim Woodcock, Ana Cavalcanti, Leonardo Freitas

claim paper

Read More »

129

FOSSACS
2005
Springer

106views Software Engineering» more FOSSACS 2005»

Model Checking Durational Probabilistic Systems

15 years 10 months ago

Model Checking Durational Probabilistic Systems

Download www.lsv.ens-cachan.fr

François Laroussinie, Jeremy Sproston

claim paper

Read More »

« Prev « First page 197 / 1322 Last » Next »