Formal verification: will the seedling ever flower?
Sign Up to like & getrecommendations! Published in 2017 at "Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences"
DOI: 10.1098/rsta.2015.0402
Abstract: In one sense, formal specification and verification have been highly successful: techniques have been developed in pioneering academic research, transferred to software companies through training and partnerships, and successfully deployed in systems with national significance.… read more here.
Keywords: formal verification; verification; verification seedling; seedling ever ... See more keywords