FAQ

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

Related topics

Related topics

14 relations
16-bit32-bitAssembly languageDOS
(More)

Related mentions per year

Related mentions per year

1941-2018
19401960198020002020
Yasm
Microsoft Windows
32-bit
Assembly language
16-bit
DOS

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement
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
Model Checking Recursive Programs with Exact Predicate Abstraction
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
PtYasm: Software Model Checking with Proof Templates
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
Model - Checking : Benchmarking and Techniques for Buffer Overflow Analysis by Kelvin Ku A thesis submitted in conformity with the requirements
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
Yasm: A Software Model-Checker for Verification and Refutation
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
Why Waste a Perfectly Good Abstraction?
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?