Partial Order Simulation of SDL Specifications

Publisher Website

1 January 1995

book chapter
Published by Elsevier

p. 293-306
https://doi.org/10.1016/b978-0-444-82269-7.50029-0

Abstract

No abstract available

Keywords

PARTIAL ORDER

This publication has 3 references indexed in Scilit:

An Improvement in Formal Verification
Published by Springer Nature ,1995
Partial-order methods for temporal verification
Published by Springer Nature ,1993
Coverage Preserving Reduction Strategies for Reachability Analysis
Published by Elsevier ,1992