Smart Reduction
Open Access
- 1 January 2011
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 23 references indexed in Scilit:
- Formal Verification of AADL Specifications in the Topcased EnvironmentLecture Notes in Computer Science, 2009
- A Model-Based Approach to the Verification and Adaptation of WF/.NET ComponentsElectronic Notes in Theoretical Computer Science, 2008
- A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov ChainsPublished by Springer Science and Business Media LLC ,2007
- Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification MethodsLecture Notes in Computer Science, 2005
- Architectural Unit TestingElectronic Notes in Theoretical Computer Science, 2005
- Automated compositional Markov chain generation for a plain-old telephone systemScience of Computer Programming, 2000
- OPEN/CÆSAR: An open software architecture for verification, simulation, and testingPublished by Springer Science and Business Media LLC ,1998
- Compositional state space generation from Lotos programsPublished by Springer Science and Business Media LLC ,1997
- Compositional minimisation of finite state systems using interface specificationsFormal Aspects of Computing, 1996
- Communicating sequential processesCommunications of the ACM, 1978