Search Sciweavers | Sciweavers

1129 search results - page 46 / 226

» Formal Verification of Websites

click to vote

SAC
2002
ACM

77views Applied Computing» more SAC 2002»

Formal verification of replication on a distributed data space architecture

14 years 11 months ago

Download ftp.inrialpes.fr

Jozef Hooman, Jaco van de Pol

claim paper

Read More »

click to vote

ICECCS
2010
IEEE

135views Hardware» more ICECCS 2010»

Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction

14 years 9 months ago

Download groups.csail.mit.edu

Shinya Umeno, Nancy A. Lynch

claim paper

Read More »

click to vote

ICEIS
2010
IEEE

135views Information Technology» more ICEIS 2010»

User Context Models - A Framework to Ease Software Formal Verifications

14 years 9 months ago

Download hal.archives-ouvertes.fr

Amine Raji, Philippe Dhaussy

claim paper

Read More »

click to vote

SYMMETRY
2010

58views more SYMMETRY 2010»

Replication and Abstraction: Symmetry in Automated Formal Verification

14 years 6 months ago

Download www.allydonaldson.co.uk

Thomas Wahl, Alastair F. Donaldson

claim paper

Read More »

click to vote

EURODAC
1994
IEEE

127views VHDL» more EURODAC 1994»

A process algebra interpretation of a verification oriented overlanguage of VHDL

15 years 4 months ago

Download www.cs.york.ac.uk

The VOVHDL language was defined as a verification oriented VHDL

Catherine Bayol, Bernard Soulas, Dominique Borrion...

claim paper

Read More »

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers