Search Sciweavers | Sciweavers

533 search results - page 13 / 107

» Verification of Distributed Firewalls

click to vote

IPPS
1998
IEEE

83views Distributed And Parallel Com...» more IPPS 1998»

Object Nets for the Design and Verification of Distributed and Embedded Applications

14 years 2 months ago

Download ipdps.cc.gatech.edu

Jürgen Nützel, Bernd Däne, Wolfgang...

claim paper

Read More »

click to vote

PVM
2009
Springer

97views Distributed And Parallel Com...» more PVM 2009»

Practical Formal Verification of MPI and Thread Programs

14 years 4 months ago

Download www.cs.utah.edu

Ganesh Gopalakrishnan, Robert M. Kirby

claim paper

Read More »

click to vote

EDOC
2002
IEEE

102views Distributed And Parallel Com...» more EDOC 2002»

From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods

14 years 3 months ago

Download www.zurich.ibm.com

Jana Koehler, Giuliano Tirenni, Santhosh Kumaran

claim paper

Read More »

click to vote

IPPS
1998
IEEE

102views Distributed And Parallel Com...» more IPPS 1998»

Automated Verification of Communication Protocols Using CCS and BDDs

14 years 2 months ago

Download ipdps.cc.gatech.edu

Reiner Lichtenecker, Klaus Gotthardt, Janusz Zalew...

claim paper

Read More »

click to vote

CONCUR
1992
Springer

67views Distributed And Parallel Com...» more CONCUR 1992»

Verification of Parallel Systems via Decomposition

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers