Papers from the technical sessions of the last four editions of International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS) held in 2007 in Algiers, 2008 in Leeds, 2009 in Rabat, and 2010 in Paris.
See also International Journal of Critical Computer-Based Systems 2(3/4) 2011
- MDG-SAT: an automated methodology for efficient safety checking
- A formal framework for black-box conformance testing of distributed real-time systems
- Distributed model-checking and counterexample search for CTL logic
- SystemC waiting state automata
- Structured performance analysis for component-based systems
- Computing transitive closures of hedge transformations