Search Sciweavers | Sciweavers

5525 search results - page 96 / 1105

» Verification of Model Transformations

Voted

FM
2009
Springer

127views Formal Methods» more FM 2009»

Automated Property Verification for Large Scale B Models

15 years 9 months ago

Download www.bmethod.com

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

claim paper

Read More »

105

click to vote

ICECCS
2008
IEEE

87views Hardware» more ICECCS 2008»

A Scalable Approach to Multi-style Architectural Modeling and Verification

15 years 9 months ago

Download www.comp.nus.edu.sg

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

claim paper

Read More »

click to vote

ACISP
2008
Springer

96views Security Privacy» more ACISP 2008»

Distributed Verification of Mixing - Local Forking Proofs Model

15 years 9 months ago

Download kutylowski.im.pwr.wroc.pl

Jacek Cichon, Marek Klonowski, Miroslaw Kutylowski

claim paper

Read More »

146

click to vote

ASYNC
2007
IEEE

161views Hardware» more ASYNC 2007»

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

15 years 9 months ago

Download conferences.computer.org

Mark B. Josephs

claim paper

Read More »

116

click to vote

TASE
2007
IEEE

92views Software Engineering» more TASE 2007»

Streaming State Space: A Method of Distributed Model Verification

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers