Search Sciweavers | Sciweavers

2878 search results - page 10 / 576

» Model Checking FTA

click to vote

ECEASST
2010

116views Computer Vision» more ECEASST 2010»

Algebraic Model Checking

13 years 4 months ago

Download fldit-www.cs.uni-dortmund.de

Peter Padawitz

claim paper

Read More »

click to vote

ICFEM
2010
Springer

152views Software Engineering» more ICFEM 2010»

Model Checking Hierarchical Probabilistic Systems

13 years 4 months ago

Download www.sutd.edu.sg

Jun Sun 0001, Songzheng Song, Yang Liu 0003

claim paper

Read More »

click to vote

FMSD
2011

236views Formal Methods» more FMSD 2011»

Automatic analysis of DMA races using model checking and k-induction

12 years 11 months ago

Download www.philipp.ruemmer.org

Alastair F. Donaldson, Daniel Kroening, Philipp R&...

claim paper

Read More »

click to vote

PLDI
2011
ACM

153views Programming Languages» more PLDI 2011»

Predicate abstraction and CEGAR for higher-order model checking

12 years 10 months ago

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

Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno

claim paper

Read More »

click to vote

COMPSAC
2011
IEEE

251views Software Engineering» more COMPSAC 2011»

Conformance Checking with Constraint Logic Programming: The Case of Feature Models

12 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers