Sussex Research Online: No conditions. Results ordered -Date Deposited. http://sro.sussex.ac.uk/ http://sro.sussex.ac.uk/images/sitelogo.png Sussex Research Online: No conditions. Results ordered -Date Deposited. http://sro.sussex.ac.uk/ Thu, 23 Nov 2023 05:33:44 +0000 Thu, 23 Nov 2023 05:33:44 +0000 en Wed, 21 Dec 2016 11:16:03 +0000 Incremental bounded model checking for embedded software http://sro.sussex.ac.uk/id/eprint/65967/ http://sro.sussex.ac.uk/id/eprint/65967/ Schrammel, Peter, Kroening, Daniel, Brain, Martin, Martins, Ruben, Teige, Tino and Bienmüller, Tom (2017) Incremental bounded model checking for embedded software. Formal Aspects of Computing, 29 (5). pp. 911-931. ISSN 0934-5043