Model Checking X86 Executables With CodeSurfer/x86 and WPDS++

Lecture Notes in Computer Science - Germany
doi 10.1007/11513988_17
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Predicting Concurrency Failures in the Generalized Execution Traces of X86 Executables

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Formal Verification of Memory Preservation of X86-64 Binaries

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Sherlock Holmes of Cache Side-Channel Attacks in Intel's X86 Architecture

2019English

Porting the LHCb Stack From X86 (Intel) to Aarch64 (ARM) and Ppc64le (PowerPC)

EPJ Web of Conferences
AstronomyPhysics
2019English

On the Virtualization of CUDA Based GPU Remoting on ARM and X86 Machines in the GVirtuS Framework

International Journal of Parallel Programming
Theoretical Computer ScienceInformation SystemsSoftware
2016English

Model Checking MANETs With Arbitrary Mobility

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Improving Model Checking With Context Modelling

Advances in Software Engineering
2012English

Model Checking

1997English

Model Checking Transactional Memory With Spin

2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy