The main target of the Special Session DTVCS is to bring together engineering researchers,
computer scientists, practitioners and people from industry to exchange theories, ideas,
techniques and experiences related to the areas of design, testing and formal verification techniques
for integrated circuits and systems. Contributions on UML and formal paradigms based on process algebras,
petri-nets, automaton theory and BDDs in the context of design, testing and formal verification techniques
for integrated circuits and systems are also encouraged.