検索結果 14 件
デジタル博士論文障害者向け資料あり
インターネットで読める国立国会図書館全国の図書館
- 件名machine translation dependency syntax MT SMT translation
デジタル博士論文障害者向け資料あり
国立国会図書館
- 件名...m Verification SMT-based Program Verification Mu...
デジタル文書・図像類
全国の図書館
- 件名Cyber-Physical Systems Real-time System Internet of Things SMT Predictive Control Smart Home...
デジタル博士論文
インターネットで読める全国の図書館
- 件名...m Verification SMT-based Program Verification Mu...
デジタル文書・図像類
全国の図書館
- 件名interval arithmetic affine arithmetic SMT polynomial constraints testin...
- 一般注記...lemented as an SMT raSAT with min......enchmarks from SMT-LIB show that raSAT is compar...
デジタル文書・図像類
全国の図書館
- 件名ソフトウェアモデル検査 組込みアセンブリプログラム 抽象化精錬 SMT Interpolation
- 一般注記...2)定理証明技術を基礎として,SMT述語抽象化,SMTモデル検査及びSMT Interpolationの......re by refining SMT predicate abstraction, SMT model checking, and SMT interpolation. 研究課題/領域番号:18K1...
デジタル文書・図像類
全国の図書館
- 件名ソフトウェアモデル検査 組込みアセンブリプログラム 抽象化精錬 SMT 定理証明
- 一般注記...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...
検索結果は以上です。