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.
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
Is this relevant?
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
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… Expand
  • figure 1
  • figure 3
  • figure 2
Is this relevant?
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
Is this relevant?
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
Is this relevant?
2006
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
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
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
Is this relevant?
2006
2006
Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Invited Talks.- Formal Specifications on Industrial-Strength Code-From Myth to Reality.- I Think I Voted: E-Voting vs. Democracy… Expand
Is this relevant?
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
Is this relevant?
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