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

15 years 1 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

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

15 years 2 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

15 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

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers