A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit

A secondary screen architecture to accurately capture viewers' interactions in an iTV environment

Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach

article

Applying symbolic bounded model checking to the 2012 RERS greybox challenge

Automated formal synthesis of provably safe digital controllers for continuous plants

scientific article published on 06 December 2019

BMCLua: Verification of Lua programs in digital TV interactive applications

Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs

scientific article published in 2022

Context-Bounded Model Checking of LTL Properties for ANSI-C Software

Context-Bounded Model Checking with ESBMC 1.17

Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking

Counterexample Guided Neural Network Quantization Refinement

scientific article published in 2024

DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs

Dynamic and automated product derivation for consumer electronics software applications

ESBMC 1.22

ESBMC-Python: A Bounded Model Checker for Python Programs

scientific article published on 11 September 2024

FuSeBMC v4: Improving Code Coverage with Smart Seeds via BMC, Fuzzing and Static Analysis

scientific article published on 20 May 2024

Gift young engineers: An extra-curricular initiative for updating computer and electrical engineering courses

scholarly article published October 2011

Handling Unbounded Loops with ESBMC 1.20

article by Jeremy Morse et al published 2013 in Lecture Notes in Computer Science

Hardware reconfiguration based on broadcasted digital TV signal

Model checking LTL properties over ANSI-C programs with bounded traces

Rapid Taint Assisted Concolic Execution (TACE)

scientific article published on 10 July 2024

SMT-Based Bounded Model Checking for Embedded ANSI-C Software

SMT-Based Bounded Model Checking for Embedded ANSI-C Software

article

SMT-Based Bounded Model Checking of C++ Programs

Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints

scholarly article published 2009

Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker

Verifying multi-threaded software using smt-based context-bounded model checking

article