Search Sciweavers | Sciweavers

452 search results - page 8 / 91

» Incremental formal design verification

click to vote

FASE
2001
Springer

89views Software Engineering» more FASE 2001»

A Formal Object-Oriented Analysis for Software Reliability: Design for Verification

13 years 12 months ago

Download www.cs.cmu.edu

Natasha Sharygina, James C. Browne, Robert P. Kurs...

claim paper

Read More »

click to vote

ICFEM
2007
Springer

76views Software Engineering» more ICFEM 2007»

From Model-Based Design to Formal Verification of Adaptive Embedded Systems

13 years 11 months ago

Download www.dasmod.de

Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...

claim paper

Read More »

click to vote

DAC
2005
ACM

81views Computer Architecture» more DAC 2005»

Can we really do without the support of formal methods in the verification of large designs?

13 years 9 months ago

Download videos.dac.com

Umberto Rossi

claim paper

Read More »

click to vote

JUCS
2007

101views more JUCS 2007»

Applications of Formal Methods to System Design and Verification

13 years 7 months ago

Download www.jucs.org

Farhad Arbab, Marjan Sirjani

claim paper

Read More »

click to vote

FMSD
1998

74views more FMSD 1998»

A Formal Verification Environment for Railway Signaling System Design

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers