Software Model Checking for Verifying Distributed Algorithms

The original document contains color images.

Saved in:
Bibliographic Details
Main Authors: Sagar, Chaki, Edmondson, James
Format: Report
Language:English
Subjects:
ALGORITHMS
BRIEFING CHARTS
CODING
COLLISION AVOIDANCE
Computer Programming and Software
COMPUTER PROGRAMS
Numerical Mathematics
VERIFICATION
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The original document contains color images.