Search Sciweavers | Sciweavers

1129 search results - page 44 / 226

» Formal Verification of Websites

click to vote

DAC
2005
ACM

114views Computer Architecture» more DAC 2005»

Formal verification: is it real enough?

15 years 1 months ago

Download www.cecs.uci.edu

Yaron Wolfsthal, Rebecca M. Gott

claim paper

Read More »

click to vote

ITP
2010

149views Mathematics» more ITP 2010»

A Framework for Formal Verification of Compiler Optimizations

15 years 1 months ago

Download www.cs.utexas.edu

William Mansky, Elsa L. Gunter

claim paper

Read More »

click to vote

ICINCO
2007

80views Robotics» more ICINCO 2007»

Formal verification of safety behaviours of the outdoor robot ravon

15 years 1 months ago

Download agrosy.informatik.uni-kl.de

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

claim paper

Read More »

click to vote

FORTE
2004

94views Formal Methods» more FORTE 2004»

Formal Verification of Web Applications Modeled by Communicating Automata

15 years 1 months ago

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 »

103

click to vote

FLAIRS
2006

110views Artificial Intelligence» more FLAIRS 2006»

Formal Verification of Cognitive Models

15 years 1 months ago

Download www.aaai.org

Cognitive modeling has outgrown the toy problems of the research labs and is increasingly tackling Industrial size applications. This growth is not matched in terms of software to...

A. MacKlem, Fatma Mili

claim paper

Read More »

« Prev « First page 44 / 226 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers