Sciweavers

2813 search results - page 5 / 563

» Formalizing Architectural Connection

24

DAC
2005
ACM

93views Computer Architecture» more DAC 2005»

Streamline verification process with formal property verification to meet highly compressed design cycle

13 years 9 months ago

Streamline verification process with formal property verification to meet highly compressed design cycle

Download videos.dac.com

Prosenjit Chatterjee

claim paper

Read More »

21

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

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

Download videos.dac.com

Umberto Rossi

claim paper

Read More »

19

DAC
2005
ACM

114views Computer Architecture» more DAC 2005»

Formal verification: is it real enough?

13 years 9 months ago

Formal verification: is it real enough?

Download www.cecs.uci.edu

Yaron Wolfsthal, Rebecca M. Gott

claim paper

Read More »

26

FM
1998
Springer

155views Formal Methods» more FM 1998»

Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture

13 years 11 months ago

Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture

Download www.eecs.umich.edu

Giuseppe Del Castillo

claim paper

Read More »

20

IFM
2010
Springer

111views Formal Methods» more IFM 2010»

Verification Architectures: Compositional Reasoning for Real-Time Systems

13 years 5 months ago

Verification Architectures: Compositional Reasoning for Real-Time Systems

Download csd.informatik.uni-oldenburg.de

Johannes Faber

claim paper

Read More »

« Prev « First page 5 / 563 Last » Next »