Lucas Cordeiro, Bernd Fischer, João Marques-Silva. Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking. In Roy Sterritt, Brandon Eames, Jonathan Sprinkle, editors, 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010. pages 160-169, IEEE Computer Society, 2010. [doi]
Abstract is missing.