Sciweavers

2488 search results - page 51 / 498

» An improvement in formal verification

78

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?

15 years 2 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 »

84

Voted

DAC
2005
ACM

114views Computer Architecture» more DAC 2005»

Formal verification: is it real enough?

15 years 2 months ago

Formal verification: is it real enough?

Download www.cecs.uci.edu

Yaron Wolfsthal, Rebecca M. Gott

claim paper

Read More »

95

ITP
2010

149views Mathematics» more ITP 2010»

A Framework for Formal Verification of Compiler Optimizations

15 years 2 months ago

A Framework for Formal Verification of Compiler Optimizations

Download www.cs.utexas.edu

William Mansky, Elsa L. Gunter

claim paper

Read More »

53

Voted

ICINCO
2007

80views Robotics» more ICINCO 2007»

Formal verification of safety behaviours of the outdoor robot ravon

15 years 2 months ago

Formal verification of safety behaviours of the outdoor robot ravon

Download agrosy.informatik.uni-kl.de

Martin Proetzsch, Karsten Berns, T. Schuele, K. Sc...

claim paper

Read More »

95

FORTE
2004

94views Formal Methods» more FORTE 2004»

Formal Verification of Web Applications Modeled by Communicating Automata

15 years 2 months ago

Formal Verification of Web Applications Modeled by Communicating Automata

Download www.iro.umontreal.ca

In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...

May Haydar, Alexandre Petrenko, Houari A. Sahraoui

claim paper

Read More »

« Prev « First page 51 / 498 Last » Next »