1
TITLE: Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
AUTHORS: Lucas C Cordeiro; Bernd Fischer; João Marques Silva ;
PUBLISHED: 2010, SOURCE: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010
INDEXED IN: Scopus DBLP CrossRef: 6 Unpaywall
2
TITLE: Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints
AUTHORS: Cordeiro, L; Fischer, B; Chen, H; Marques Silva, J ;
PUBLISHED: 2009, SOURCE: 6th International Conference on Embedded Software and Systems in 2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 26 Unpaywall
3