Title | ||
---|---|---|
A system for synthesizing abstraction-enabled simulators for binary code verification |
Year | DOI | Venue |
---|---|---|
2010 | 10.1109/SIES.2010.5551382 | SIES |
Keywords | Field | DocType |
embedded systems,formal verification,program diagnostics,safety-critical software,Atmel ATmega16,Intel MCS-51 microcontrollers,abstraction enabled simulator,automatic abstraction,binary code model checking,binary code verification,embedded software,formal verification,hardware simulators,safety-critical applications | Computer architecture,Embedded software,Model checking,Abstraction,Computer science,Binary code,Real-time computing,Microcontroller,restrict,Embedded system,Encoding (memory),Formal verification | Conference |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Dominique Gückel | 1 | 0 | 2.03 |
Jörg Brauer | 2 | 219 | 19.33 |
Stefan Kowalewski | 3 | 602 | 65.14 |