Search Sciweavers | Sciweavers

2872 search results - page 178 / 575

» On (Omega-)Regular Model Checking

click to vote

APLAS
2010
ACM

159views Programming Languages» more APLAS 2010»

Verification of Tree-Processing Programs via Higher-Order Model Checking

14 years 11 months ago

Download www.kb.ecei.tohoku.ac.jp

Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...

Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi

claim paper

Read More »

click to vote

ACTA
2010

117views more ACTA 2010»

Symmetry and partial order reduction techniques in model checking Rebeca

14 years 11 months ago

Download www.win.tue.nl

Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad ...

claim paper

Read More »

click to vote

BMCBI
2010

58views more BMCBI 2010»

Inference on population history and model checking using DNA sequence and microsatellite data with the software DIYABC (v1.0)

14 years 11 months ago

Download www.biomedcentral.com

Jean-Marie Cornuet, Virgine Ravigné, Arnaud...

claim paper

Read More »

click to vote

CORR
2008
Springer

107views Education» more CORR 2008»

Model Checking Probabilistic Timed Automata with One or Two Clocks

14 years 11 months ago

Download www.di.unito.it

Probabilistic timed automata are an extension of timed automata with discrete probability distributions. We consider model-checking algorithms for the subclasses of probabilistic t...

Marcin Jurdzinski, François Laroussinie, Je...

claim paper

Read More »

click to vote

ENTCS
2008

59views more ENTCS 2008»

A Model Checking Approach to Protocol Conversion

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers