Sciweavers

2875 search results - page 157 / 575

» Model checking agentspeak

94

CAV
2005
Springer

114views Hardware» more CAV 2005»

Bounded Model Checking of Concurrent Programs

15 years 6 months ago

Bounded Model Checking of Concurrent Programs

Download www.inf.ethz.ch

Ishai Rabinovitz, Orna Grumberg

claim paper

Read More »

110

Voted

CHARME
2005
Springer

128views Hardware» more CHARME 2005»

Real-Time Model Checking Is Really Simple

15 years 6 months ago

Real-Time Model Checking Is Really Simple

Download research.microsoft.com

Leslie Lamport

claim paper

Read More »

64

CSL
2005
Springer

101views Automated Reasoning» more CSL 2005»

Bounded Model Checking of Pointer Programs

15 years 6 months ago

Bounded Model Checking of Pointer Programs

Download www.ii.uni.wroc.pl

Witold Charatonik, Lilia Georgieva, Patrick Maier

claim paper

Read More »

78

Voted

FM
2005
Springer

81views Formal Methods» more FM 2005»

Operational Semantics for Model Checking Circus

15 years 6 months ago

Operational Semantics for Model Checking Circus

Download www.cs.york.ac.uk

Jim Woodcock, Ana Cavalcanti, Leonardo Freitas

claim paper

Read More »

84

Voted

FOSSACS
2005
Springer

106views Software Engineering» more FOSSACS 2005»

Model Checking Durational Probabilistic Systems

15 years 6 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 157 / 575 Last » Next »