Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,705,620 papers from all fields of science
Search
Sign In
Create Free Account
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
Create Alert
Alert
Related topics
Related topics
15 relations
16-bit
32-bit
Assembly language
Comparison 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
J. Bronkhorst
2010
Corpus ID: 56079420
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
Sanem Şahin
2008
Corpus ID: 142485271
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
A. Gurfinkel
,
Ou Wei
,
M. Chechik
ATVA
2008
Corpus ID: 6872763
We propose an approach for analyzing non-termination and reachability properties of recursive programs using a combination of…
Expand
2008
2008
PtYasm: Software Model Checking with Proof Templates
Thomas E. Hart
,
Kelvin Ku
,
A. Gurfinkel
,
M. Chechik
,
D. Lie
23rd IEEE/ACM International Conference on…
2008
Corpus ID: 5717425
We describe PTYASM, an enhanced version of the YASM software model checker which uses proof templates. These templates associate…
Expand
2008
2008
Software Model-checking: Benchmarking and Techniques for Buffer Overflow Analysis Abstract Software Model-checking: Benchmarking and Techniques for Buffer Overflow Analysis
Kelvin Ku
2008
Corpus ID: 8876513
2008 Software model-checking based on abstraction-refinement has recently achieved widespread success in verifying critical…
Expand
2007
2007
Ranking and Reputation Systems in the QBF Competition
Massimo Narizzano
,
Luca Pulina
,
A. Tacchella
AI*IA
2007
Corpus ID: 18190135
Systems competitions play a fundamental role in the advancement of the state of the art in several automated reasoning fields…
Expand
Highly Cited
2006
Highly Cited
2006
Yasm: A Software Model-Checker for Verification and Refutation
A. Gurfinkel
,
Ou Wei
,
M. Chechik
CAV
2006
Corpus ID: 855654
This paper presents Yasm: a (yet another) software model-checker based on the Counter-Example Guided Abstraction Refinement…
Expand
2006
2006
Systematic Construction of Abstractions for Model-Checking
A. Gurfinkel
,
Ou Wei
,
M. Chechik
VMCAI
2006
Corpus ID: 333799
This paper describes a framework, based on Abstract Interpretation, for creating abstractions for model-checking. Specifically…
Expand
2006
2006
Voting Systems and Automated Reasoning : the QBFEVAL Case Study
Massimo Narizzano
,
Luca Pulina
,
A. Tacchella
2006
Corpus ID: 36702873
Systems competitions play a fundamental role in the advancement of the state of the art in several automated reasoning fields…
Expand
2006
2006
Why Waste a Perfectly Good Abstraction?
A. Gurfinkel
,
M. Chechik
TACAS
2006
Corpus ID: 5837285
Software model-checking based on the CEGAR framework can be made more precise by separating non-determinism from the lack of…
Expand
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