Search Sciweavers | Sciweavers

457 search results - page 2 / 92

» Distributed verification with LoLA

click to vote

PARLE
1991

172views Distributed And Parallel Com...» more PARLE 1991»

On the Computational Complexity of Optimal Sorting Network Verification

13 years 11 months ago

Download www.eng.unt.edu

Ian Parberry

claim paper

Read More »

click to vote

ATAL
2010
Springer

171views Intelligent Agents» more ATAL 2010»

Distributed BDD-based BMC for the verification of multi-agent systems

13 years 8 months ago

Download www.doc.ic.ac.uk

We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...

Andrew V. Jones, Alessio Lomuscio

claim paper

Read More »

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

13 years 11 months ago

Download ipdps.cc.gatech.edu

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

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

13 years 11 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

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers