VES 2013 - International Workshop on Verification of Embedded Systems

Topics of interest include:
Algorithms and tools for verifying models and implementations
Hardware verification techniques
Hybrid systems and embedded systems verification
Deductive, compositional, and abstraction techniques for verification
Program analysis and software verification
Testing and runtime analysis based on verification technology
Verification methods for parallel and concurrent hardware/software systems
Applications and case studies in verification
Verification in industrial practice
Algorithms and tools for system synthesis
Verification techniques for security
Formal models and methods for biological systems