Abstract
A formal software verification system relies upon a software engineer writing mathematically precise specifications of intended behavior. Humans often introduce defects into such specifications. Techniques and tools capable of warning about common defects can help them develop correct specifications by finding subtle issues that would permit unintended behavior. New specification-checking techniques and a tool that implements them, SpecChec, are described. © 2014 Springer International Publishing.
Cite
CITATION STYLE
Hoffman, D., Tagore, A., Zaccai, D., & Weide, B. W. (2014). Providing early warnings of specification problems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8430 LNCS, pp. 92–97). Springer Verlag. https://doi.org/10.1007/978-3-319-06200-6_7
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
