Login / Signup
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs.
Patrice Godefroid
Doron A. Peled
Mark G. Staskauskas
Published in:
IEEE Trans. Software Eng. (1996)
Keyphrases
</>
partial order
knowledge base
high dimensional
general purpose