Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Related topics

Related topics

15 relations
16-bit32-bitAssembly languageComparison of assemblers
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
WHO IS LIBERATED? THE NOTION OF LIBERATION WHILE ALIVE IN SOME SELECTED INDIAN TEXTS
This article looks at three texts — the Manava Dharmasastra, the Bhagavadgita, and a passage from the Mahabharata that records a… Expand
2008
2008
The discursive construction of national identity by the newspapers in North Cyprus
The research investigates the discursive construction of a Turkish Cypriot national identity by the newspapers in North Cyprus… Expand
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… Expand
  • table 1
  • figure 2
  • table 2
  • figure 3
  • figure 4
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… Expand
  • figure 1
  • figure 3
  • figure 2
2008
2008
Software Model-checking: Benchmarking and Techniques for Buffer Overflow Analysis Abstract Software Model-checking: Benchmarking and Techniques for Buffer Overflow Analysis
2008 Software model-checking based on abstraction-refinement has recently achieved widespread success in verifying critical… Expand
  • figure 1.1
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
2007
2007
Ranking and Reputation Systems in the QBF Competition
Systems competitions play a fundamental role in the advancement of the state of the art in several automated reasoning fields… Expand
  • table 1
  • table 2
  • figure 1
  • figure 2
  • figure 3
Highly Cited
2006
Highly Cited
2006
Yasm: A Software Model-Checker for Verification and Refutation
This paper presents Yasm: a (yet another) software model-checker based on the Counter-Example Guided Abstraction Refinement… Expand
  • figure 1
2006
2006
Systematic Construction of Abstractions for Model-Checking
This paper describes a framework, based on Abstract Interpretation, for creating abstractions for model-checking. Specifically… Expand
  • figure 1
  • figure 2
  • figure 3
2006
2006
Voting Systems and Automated Reasoning : the QBFEVAL Case Study
Systems competitions play a fundamental role in the advancement of the state of the art in several automated reasoning fields… Expand
  • table 1
  • table 2
  • figure 1
  • figure 2
  • figure 3
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE