Sign in
Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software.
Yu Wang
Fengjuan Gao
Linzhang Wang
Tingting Yu
Ke Wang
Jianhua Zhao
Xuandong Li
Published in:
CoRR (2023)
Keyphrases
</>
automatic detection
embedded software
embedded systems
software architecture
development projects
automatically detecting
real time
information systems
high level
sequence diagrams
database
databases
object oriented
petri net