Searching for "Verification Techniques for LOTOS." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Automating (Specification = Implementation) using Equational Reasoning and LOTOS
- …/1/1477, Verification Techniques for LOTOS. A B C - oe - oe D 6 ? e - m1 e oe p1 or n1 e ? m3 e 6 p3 or n3…
- Cited by 5 (3 self) – Add To MetaCart
-
Some Experiments using Term Rewriting Techniques for Concurrency
- … by SERC grant gr/f 35371/ 4/1/1477, Verification Techniques for LOTOS. y Funded by SERC grant gr/f 35364…
- Cited by 3 (2 self) – Add To MetaCart
-
Use Case Maps for the Capture and Validation of Distributed Systems Requirements
- … Ordering Specification (LOTOS) [14] in our case, and formal validation and verification techniques. LOTOS…
- Cited by 28 (8 self) – Add To MetaCart
-
A Case Study for the ERIL Project
- …. Funded by SERC grant gr/f 35371/ 4/1/1477, Verification Techniques for LOTOS. 2 The Example 2…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 4.
