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.
2010
2010
This article looks at three texts — the Manava Dharmasastra, the Bhagavadgita, and a passage from the Mahabharata that records a… Expand
2008
2008
The research investigates the discursive construction of a Turkish Cypriot national identity by the newspapers in North Cyprus… Expand
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
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
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
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
Highly Cited
2006
Highly Cited
2006
This paper presents Yasm: a (yet another) software model-checker based on the Counter-Example Guided Abstraction Refinement… Expand
  • figure 1
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
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
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