Simulation and formal verification of x86 machine-code programs that make system calls

S Goel, WA Hunt, M Kaufmann… - 2014 Formal Methods in …, 2014 - ieeexplore.ieee.org
We present an approach to modeling and verifying machine-code programs that exhibit non-
determinism. Specifically, we add support for system calls to our formal, executable model of …
被引用次数：58 相关文章

Simulation and formal verification of x86 machine-code programs that make system calls

S Goel, WA Hunt, M Kaufmann, S Ghosh - 2014 Formal Methods in Computer … - infona.pl
We present an approach to modeling and verifying machine-code programs that exhibit non-
determinism. Specifically, we add support for system calls to our formal, executable model of …

Simulation and Formal Verification of x86 Machine-Code Programs that make System Calls

S Goel, WA Hunt, M Kaufmann, S Ghosh - Proceedings of the 14th …, 2014 - dl.acm.org
We present an approach to modeling and verifying machine-code programs that exhibit non-
determinism. Specifically, we add support for system calls to our formal, executable model of …
[PDF] semanticscholar.org

[PDF][PDF] SIMULATION AND FORMAL VERIFICATION OF X86 MACHINE-CODE PROGRAMS THAT MAKE SYSTEM CALLS

S Goel, WA Hunt Jr, M Kaufmann, S Ghosh - 2014 - pdfs.semanticscholar.org
SIMULATION AND FORMAL VERIFICATION OF X86 MACHINE-CODE PROGRAMS THAT
MAKE SYSTEM CALLS Page 1 Introduction Simulation AND Reasoning Framework Code …
[PDF] utexas.edu

[PDF][PDF] SIMULATION AND FORMAL VERIFICATION OF X86 MACHINE-CODE PROGRAMS THAT MAKE SYSTEM CALLS

S Goel, WA Hunt Jr, M Kaufmann, S Ghosh - 2014 - cs.utexas.edu
SIMULATION AND FORMAL VERIFICATION OF X86 MACHINE-CODE PROGRAMS THAT
MAKE SYSTEM CALLS Page 1 Introduction Simulation AND Reasoning Framework Code …
[PDF] utexas.edu

[PDF][PDF] Simulation and Formal Verification of x86 Machine-Code Programs that make System Calls

S Goel, WA Hunt Jr, M Kaufmann… - Formal Methods in …, 2014 - repositories.lib.utexas.edu
We present an approach to modeling and verifying machine-code programs that exhibit non-
determinism. Specifically, we add support for system calls to our formal, executable model of …
[PDF] psu.edu

[PDF][PDF] Simulation and Formal Verification of x86 Machine-Code Programs that make System Calls

S Goel, WA Hunt Jr, M Kaufmann, S Ghosh - Formal Methods in Computer …, 2014 - Citeseer
We present an approach to modeling and verifying machine-code programs that exhibit non-
determinism. Specifically, we add support for system calls to our formal, executable model of …
[PDF] archive.org

[PDF][PDF] Simulation and Formal Verification of x86 Machine-Code Programs that make System Calls

S Goel, WA Hunt Jr, M Kaufmann, S Ghosh - scholar.archive.org
We present an approach to modeling and verifying machine-code programs that exhibit non-
determinism. Specifically, we add support for system calls to our formal, executable model of …
[PDF] utexas.edu

[PDF][PDF] SIMULATION AND FORMAL VERIFICATION OF X86 MACHINE-CODE PROGRAMS THAT MAKE SYSTEM CALLS

S Goel, WA Hunt Jr, M Kaufmann, S Ghosh - 2014 - cs.utexas.edu
SIMULATION AND FORMAL VERIFICATION OF X86 MACHINE-CODE PROGRAMS THAT
MAKE SYSTEM CALLS Page 1 Introduction Simulation AND Reasoning Framework Code …
[PDF] utexas.edu

[PDF][PDF] Simulation and Formal Verification of x86 Machine-Code Programs that make System Calls

S Goel, WA Hunt Jr, M Kaufmann… - Formal Methods in …, 2014 - repositories.lib.utexas.edu
We present an approach to modeling and verifying machine-code programs that exhibit non-
determinism. Specifically, we add support for system calls to our formal, executable model of …