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

15 years 12 days ago

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

Peter Padawitz

claim paper

Read More »

113

click to vote

ICFEM
2010
Springer

152views Software Engineering» more ICFEM 2010»

Model Checking Hierarchical Probabilistic Systems

15 years 10 days ago

Download www.sutd.edu.sg

Jun Sun 0001, Songzheng Song, Yang Liu 0003

claim paper

Read More »

196

click to vote

FMSD
2011

236views Formal Methods» more FMSD 2011»

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

14 years 6 months ago

Download www.philipp.ruemmer.org

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

claim paper

Read More »

102

click to vote

PLDI
2011
ACM

153views Programming Languages» more PLDI 2011»

Predicate abstraction and CEGAR for higher-order model checking

14 years 5 months ago

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

Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno

claim paper

Read More »

183

click to vote

COMPSAC
2011
IEEE

251views Software Engineering» more COMPSAC 2011»

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

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers