Expanded version of papers presented at the International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS) 2011 and 2012.
- A formal framework to specify and verify real-time properties on critical systems
- LTL translation improvements in Spot 1.0
- On combining the ready sets with the covering steps methods
- Verifying while loops with invariant relations
- A RT-Maude-based framework for component installation
- Managing energy in a network of reconfigurable optical add/drop multiplexers
- Strong and weak stochastic bounds for multidimensional Markov chains
No comments:
Post a Comment