Search results 14
Paper図書
National Diet Library
- Subject Headinghsp ストレス蛋白質 two-hybrid ubc9 シヨウジヨウバエ sentrin SMT SUMO
Digital博士論文障害者向け資料あり
Available onlineNational Diet LibraryOther Libraries in Japan
- Subject Headingmachine translation dependency syntax MT SMT translation
Digital博士論文障害者向け資料あり
National Diet Library
- Subject HeadingSMT solving non-linear arithmetic...
Digital博士論文障害者向け資料あり
National Diet Library
- Subject Heading...m Verification SMT-based Program Verification Mu...
Digital博士論文障害者向け資料あり
National Diet Library
- Subject Heading...model checking SMT sequentialization
Digital博士論文障害者向け資料あり
National Diet Library
- Subject Heading...ulo Theories - SMT polynomial constraints testin...
Digital博士論文
Available onlineOther Libraries in Japan
- Subject HeadingSMT solving non-linear arithmetic...
Digital文書・図像類
Other Libraries in Japan
- Subject HeadingCyber-Physical Systems Real-time System Internet of Things SMT Predictive Control Smart Home...
Digital博士論文
Available onlineOther Libraries in Japan
- Subject Heading...m Verification SMT-based Program Verification Mu...
Digital文書・図像類
Other Libraries in Japan
- Subject Headinginterval arithmetic affine arithmetic SMT polynomial constraints testin...
- Note (General)...lemented as an SMT raSAT with min......enchmarks from SMT-LIB show that raSAT is compar...
Digital文書・図像類
Other Libraries in Japan
- Subject Headingソフトウェアモデル検査 組込みアセンブリプログラム 抽象化精錬 SMT Interpolation
- Note (General)...2)定理証明技術を基礎として,SMT述語抽象化,SMTモデル検査及びSMT Interpolationの......re by refining SMT predicate abstraction, SMT model checking, and SMT interpolation. 研究課題/領域番号:18K1...
Digital博士論文
Available onlineOther Libraries in Japan
- Subject Heading...model checking SMT sequentialization
Digital博士論文
Available onlineOther Libraries in Japan
- Subject Heading...ulo Theories - SMT polynomial constraints testin...
Digital文書・図像類
Other Libraries in Japan
- Subject Headingソフトウェアモデル検査 組込みアセンブリプログラム 抽象化精錬 SMT 定理証明
- Note (General)...2)抽象化精錬(CEGAR)型SMTモデル検査手法を開発した.このモデル検査手法はSMTによる述語抽象化、SMT有界モデル検査、SMTによる反例解析器、SMTソルバによるInterpola......精錬述語の生成からなる.なお、SMTソルバとして、種々のInter......estimation.(2) SMT model checking......abstraction by SMT, SMT bounded model ......le analyzer by SMT, and refinemen......terpolation by SMT solver. As the SMT solver, Princess of Uppsala U...
Reached to the end of result.