Search Sciweavers | Sciweavers

6608 search results - page 225 / 1322

» On the Completeness of Model Checking

119

Voted

FMICS
2008
Springer

143views Formal Methods» more FMICS 2008»

Can Flash Memory Help in Model Checking?

15 years 6 months ago

Download anna.fi.muni.cz

Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian S...

claim paper

Read More »

161

click to vote

HASE
2008
IEEE

146views Control Systems» more HASE 2008»

Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions

15 years 6 months ago

Download www.eecs.berkeley.edu

Sumit Kumar Jha, Susmit Jha

posted by susmitjha

Read More »

161

Voted

APLAS
2010
ACM

159views Programming Languages» more APLAS 2010»

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

15 years 6 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 »

142

Voted

ACTA
2010

117views more ACTA 2010»

Symmetry and partial order reduction techniques in model checking Rebeca

15 years 6 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)

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers