Login / Signup
Embedded-check a Code Quality Tool for Automatic Firmware Verification.
Rafael Corsi Ferrão
Igor dos Santos Montagner
Mariana Silva
Craig B. Zilles
Rodolfo Azevedo
Published in:
ITiCSE (1) (2024)
Keyphrases
</>
error detection
program understanding
high quality
computer systems
power consumption
higher quality
symbolic execution
formal verification
semi automatic
model checking
static analysis
low quality
embedded systems
unit testing
quality assessment
fault tolerance
petri net
operating system
data driven
source code