raSAT: SMT for polynomial inequality
スポンサーリンク
概要
- 論文の詳細を見る
- 2013-05-27
著者
-
Ogawa Mizuhito
School of Information Science - Japan Advanced Institute Science and Technology
-
To Van
School of Information Science, Japan Advanced Institute of Science and Technology
関連論文
- Combining Testing and Static Analysis to Overflow and Roundoff Error Detection
- Context-sensitive points-to analysis for Java as all-in-one weighted pushdown model checking
- Stacking-based Context-Sensitive Points-to Analysis for Java
- On-the-fly Model Checking of Security Protocols and Its Implementation by Maude
- Modular Stacking-based Context-Sensitive Program Analysis
- Associative Search on Shogi Game Records
- Alternate Stacking Technique Revisited: Inclusion Problem of Superdeterministic Pushdown Automata
- Alternate Stacking Technique Revisited: Inclusion Problem of Superdeterministic Pushdown Automata
- Well-Structured Pushdown Systems, Part 1:Decidable Classes for Coverability
- raSAT: SMT for polynomial inequality
- On-the-fly Model Checking of Security Protocols and Its Implementation by Maude
- On-the-fly Model Checking of Security Protocols and Its Implementation by Maude