Search Sciweavers | Sciweavers

1023 search results - page 2 / 205

» Model Checking: Software and Beyond

Voted

DAC
2005
ACM

117views Computer Architecture» more DAC 2005»

Beyond safety: customized SAT-based model checking

15 years 10 months ago

Download lcs.ios.ac.cn

Malay K. Ganai, Aarti Gupta, Pranav Ashar

claim paper

Read More »

click to vote

PAPM
2001
Springer

126views Mathematics» more PAPM 2001»

Beyond Memoryless Distributions: Model Checking Semi-Markov Chains

15 years 1 months ago

Download wwwhome.cs.utwente.nl

Abstract. Recent investigations have shown that the automated veriﬁcation of continuous-time Markov chains (CTMCs) against CSL (Continuous Stochastic Logic) can be performed in a...

Gabriel G. Infante López, Holger Hermanns, ...

claim paper

Read More »

click to vote

CSL
2009
Springer

164views Automated Reasoning» more CSL 2009»

Model Checking FO(R) over One-Counter Processes and beyond

15 years 4 months ago

Download homepages.inf.ed.ac.uk

Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...

Anthony Widjaja To

claim paper

Read More »

Voted

SOFSEM
2007
Springer

93views Theoretical Computer Science» more SOFSEM 2007»

Model-Checking Large Finite-State Systems and Beyond

15 years 3 months ago

Download www.sofsem.cz

Lubos Brim, Mojmír Kretínský

claim paper

Read More »