Loading...
Please wait, while we are loading the content...
Similar Documents
Ald Ebaran: a Tool for Veriication of Communicating Processes
| Content Provider | Semantic Scholar |
|---|---|
| Author | Fernandez, Jean-Claude |
| Copyright Year | 1989 |
| Abstract | Ald ebaran is a tool for verifying communicating systems, represented as labeled transition systems. Veriication techniques are based on the comparison of two labeled transition systems according to an equivalence relation. Strong bisimulation, weak bisimula-tion, acceptance model equivalence and safety equivalence are supported by Ald ebaran. Communicating systems are described hierarchically by parallel composition of processes. Synchronization (or communications) between labeled transition systems set in parallel are determined by a synchronization algebra. To allow partial synchrony, a restriction operator is deened. To verify external speciication, an abstract mechanism is used. A major goal of the tool is to provide diierent equivalence relations and eecient algorithms implementing these. |
| File Format | PDF HTM / HTML |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |