Abstract
The main current trend in applied formal methods can be characterized by the term “lightweight”. Historically, formal methods have been viewed as pure alternatives to traditional development methodologies, demanding a revolutionary change in industry to adopt them. With a pragmatic, lightweight approach, the use of formal methods is complementing and improving existing development practices in a company in an evolutionary way, demonstrating more clearly the cost-effectiveness of formal methods. This paper presents our view on lightweight formal methods as a strategy for successful formal methods technology transfer to industry.
Cite
CITATION STYLE
Agerholm, S., & Larsen, P. G. (1999). A lightweight approach to formal methods. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1641, pp. 168–183). Springer Verlag. https://doi.org/10.1007/3-540-48257-1_10
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
