Yasm

In computing, Yasm is an assembler and disassembler for the Intel x86 architecture. It can be used to write 16-bit, 32-bit (IA-32) and 64-bit (x86-64… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2006-2008
012320062008

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
We present a framework for fully automated compositional verification of μ-calculus specifications over multi-valued systems… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2008
2008
We propose an approach for analyzing non-termination and reachability properties of recursive programs using a combination of… (More)
  • table 1
  • figure 2
  • table 2
  • figure 3
  • figure 4
Is this relevant?
2008
2008
We describe PTYASM, an enhanced version of the YASM software model checker which uses proof templates. These templates associate… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 6
  • figure 7
Is this relevant?
2008
2008
Software Model-Checking: Benchmarking and Techniques for Buffer Overflow Analysis Kelvin Ku Master of Science Graduate Department… (More)
  • figure 1.1
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
Is this relevant?
2006
2006
ions. Following SLAM, abstractions are represented by Boolean Programs. Unlike SLAM, the semantics of these programs is given via… (More)
  • figure 1
Is this relevant?
2006
2006
Software model-checking based on the CEGAR framework can be made more precise by separating non-determinism from the lack of… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?