Open AccessIndustrial applicability of advanced model/code-based V&V techniques for verifying program properties in embedded applications
Author(s) -
Chris Hote,
Marc Lalo,
Patrick Munier,
D. Pilaud
Publication year - 2008
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , programming language , code (set theory) , software engineering , embedded system , computer architecture , set (abstract data type)
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom