Model based development languages, such as Simulink and UML, are increasing in popularity. Simulink is a de-facto standard in control systems engineering and UML is the subject of a significant standardisation effort. These "standardised" model based languages have commercial tool support, which primarily address the customer's immediate demands. In this paper I shall discuss the trends that are leading to an opportunity for formal methods to deliver significant benefits to industrial software development. Insights are drawn from an industrial application of formal methods and an experiment that compares a formal and a conventional development. © Springer-Verlag 2003.
CITATION STYLE
O’Halloran, C. (2003). Model based code verification. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2885, 16–25. https://doi.org/10.1007/978-3-540-39893-6_2
Mendeley helps you to discover research relevant for your work.