FORTE 1997 - PDF Preprint Papers

FORTE 1997 Formal Techniques for Networked and Distributed Systems

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed FORTE-1997 Paper

click to vote

FORTE
1997

173views Formal Methods» more FORTE 1997»

Automatic Checking of Aggregation Abstractions Through State Enumeration

13 years 5 months ago

Download sprout.stanford.edu

c Checking of Aggregation Abstractions Through State Enumeration Seungjoon Park, Member, IEEE, Satyaki Das, and David L. Dill, Member, IEEE —Aggregation abstraction is a way of d...

Seungjoon Park, Satyaki Das, David L. Dill

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	173	Automatic Checking of Aggregation Abstractions Through State Enumeration	claim
2	151	On-Line Timed Protocol Trace Analysis Based on Uncertain State Descriptions	claim
3	148	Refusal Testing for Classes of Transition Systems with Inputs and Outputs	claim
4	126	A Framework for Distributed Object-Oriented Testing	claim
5	95	A Hierarchy of Communication Models for Message Sequence Charts	claim
6	95	Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers