Login / Signup
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol.
Martin D. Schwarz
Helmut Seidl
Vesal Vojdani
Peter Lammich
Markus Müller-Olm
Published in:
POPL (2011)
Keyphrases
</>
static analysis
symbolic execution
dynamic analysis
abstract interpretation
source code
java card
regular expressions
test generation
malicious code
test suite
databases
artificial intelligence
mobile robot
security analysis
security model
tcp ip