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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
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
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
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 research investigates the discursive construction of a Turkish Cypriot national identity by the newspapers in North Cyprus… Expand
Is this relevant?
2007
2007
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
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
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
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
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
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?