Search Sciweavers | Sciweavers

5525 search results - page 96 / 1105

» Verification of Model Transformations

114

click to vote

FM
2009
Springer

127views Formal Methods» more FM 2009»

Automated Property Verification for Large Scale B Models

16 years 28 days ago

Download www.bmethod.com

Michael Leuschel, Jérôme Falampin, Fa...

claim paper

Read More »

134

click to vote

ICECCS
2008
IEEE

87views Hardware» more ICECCS 2008»

A Scalable Approach to Multi-style Architectural Modeling and Verification

16 years 25 days ago

Download www.comp.nus.edu.sg

Stephen Wong, Jing Sun, Ian Warren, Jun Sun 0001

claim paper

Read More »

115

click to vote

ACISP
2008
Springer

96views Security Privacy» more ACISP 2008»

Distributed Verification of Mixing - Local Forking Proofs Model

16 years 22 days ago

Download kutylowski.im.pwr.wroc.pl

Jacek Cichon, Marek Klonowski, Miroslaw Kutylowski

claim paper

Read More »

184

click to vote

ASYNC
2007
IEEE

161views Hardware» more ASYNC 2007»

Gate-level modelling and verification of asynchronous circuits using CSPM and FDR

16 years 22 days ago

Download conferences.computer.org

Mark B. Josephs

claim paper

Read More »

141

click to vote

TASE
2007
IEEE

92views Software Engineering» more TASE 2007»

Streaming State Space: A Method of Distributed Model Verification

16 years 19 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers