Search Sciweavers | Sciweavers

2488 search results - page 53 / 498

» An improvement in formal verification

134

COMCOM
1999

63views more COMCOM 1999»

Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification

15 years 5 months ago

Download www.dmst.aueb.gr

Stefanos Gritzalis, Diomidis Spinellis, Panagiotis...

claim paper

Read More »

101

click to vote

SAC
2002
ACM

77views Applied Computing» more SAC 2002»

Formal verification of replication on a distributed data space architecture

15 years 5 months ago

Download ftp.inrialpes.fr

Jozef Hooman, Jaco van de Pol

claim paper

Read More »

153

click to vote

ICECCS
2010
IEEE

135views Hardware» more ICECCS 2010»

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

15 years 4 months ago

Download groups.csail.mit.edu

Shinya Umeno, Nancy A. Lynch

claim paper

Read More »

129

click to vote

ICEIS
2010
IEEE

135views Information Technology» more ICEIS 2010»

User Context Models - A Framework to Ease Software Formal Verifications

15 years 4 months ago

Download hal.archives-ouvertes.fr

Amine Raji, Philippe Dhaussy

claim paper

Read More »

132

click to vote

SYMMETRY
2010

58views more SYMMETRY 2010»

Replication and Abstraction: Symmetry in Automated Formal Verification

15 years 26 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers