Search Sciweavers | Sciweavers

2873 search results - page 142 / 575

» Model Checking and the Mu-calculus

click to vote

IPPS
2009
IEEE

109views Distributed And Parallel Com...» more IPPS 2009»

Efficient large-scale model checking

15 years 4 months ago

Download www.cs.vu.nl

Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Br...

claim paper

Read More »

click to vote

LICS
2009
IEEE

118views Automated Reasoning» more LICS 2009»

Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

15 years 4 months ago

Download eprints.eemcs.utwente.nl

Taolue Chen, Tingting Han, Joost-Pieter Katoen, Al...

claim paper

Read More »

click to vote

WIA
2009
Springer

230views Artificial Intelligence» more WIA 2009»

TAGED Approximations for Temporal Properties Model-Checking

15 years 4 months ago

Download www.lsv.ens-cachan.fr

Roméo Courbis, Pierre-Cyrille Héam, ...

claim paper

Read More »

click to vote

CMSB
2009
Springer

114views Applied Computing» more CMSB 2009»

CSL Model Checking of Biochemical Networks with Interval Decision Diagrams

15 years 4 months ago

Download www-dssz.informatik.tu-cottbus.de

Martin Schwarick, Monika Heiner

claim paper

Read More »

click to vote

CONCUR
2009
Springer

97views Distributed And Parallel Com...» more CONCUR 2009»

Query-Based Model Checking of Ad Hoc Network Protocols

15 years 4 months ago

Download www.cs.sunysb.edu

Abstract. A prominent source of complexity in the veriﬁcation of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...

Anu Singh, C. R. Ramakrishnan, Scott A. Smolka

claim paper

Read More »

« Prev « First page 142 / 575 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers