Refined Interfaces for Compositional Verification
- 1 January 2006
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 159-174
- https://doi.org/10.1007/11888116_13
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Compositional minimization of finite state systemsPublished by Springer Science and Business Media LLC ,2005
- Operational Semantics for Fun and ProfitLecture Notes in Computer Science, 2005
- Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification MethodsLecture Notes in Computer Science, 2005
- Compositional state space generation from Lotos programsPublished by Springer Science and Business Media LLC ,1997
- Context constraints for compositional reachability analysisACM Transactions on Software Engineering and Methodology, 1996
- Compositional minimisation of finite state systems using interface specificationsFormal Aspects of Computing, 1996
- The FC2TOOLS setLecture Notes in Computer Science, 1996
- MEC : a system for constructing and analysing transition systemsLecture Notes in Computer Science, 1990
- An algorithmic procedure for checking safety properties of protocolsIEEE Transactions on Communications, 1989
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984