SMTCoq: A plug-in for integrating SMT solvers into Coq

机译：SMTCoq：用于将SMT求解器集成到Coq中的插件

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Ekici, Burak; Mebsout, Alain; Tinelli, Cesare; Keller, Chantal; Katz, Guy; Reynolds, Andrew; Barrett, Clark;
展开▼
作者单位

展开▼
年度 2017
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. metaSMT: focus on your application and not on solver integration [J] . Riener Heinz, Haedicke Finn, Frehse Stefan, International Journal on Software Tools for Technology Transfer . 2017,第5期

机译：metaSMT：专注于您的应用程序而不是求解器集成
2. Integrating SMT solvers in Rodin [J] . David Deharbe, Pascal Fontaine, Yoann Guyot, Science of Computer Programming . 2014,第pta2期

机译：在Rodin中集成SMT求解器
3. Integration of SMT-solvers in B and Event-B development environments [J] . David Deharbe Science of Computer Programming . 2013,第3期

机译：在B和Event-B开发环境中集成SMT求解器
4. SMTCoq: A Plug-In for Integrating SMT Solvers into Coq [C] . Burak Ekici, Alain Mebsout, Cesare Tinelli, International conference on computer aided verification . 2017

机译：SMTCoq：用于将SMT解算器集成到Coq中的插件
5. The EZSMT Solver: Constraint Answer Set Solving meets SMT. [D] . Susman, Benjamin. 2016

机译：EZSMT解算器：约束答案集解满足SMT。
6. CySBGN: A Cytoscape plug-in to integrate SBGN maps [O] . Emanuel Gonçalves, Martijn van Iersel, Julio Saez-Rodriguez 2013

机译：CySBGN：一个集成了SBGN地图的Cytoscape插件
7. SMTCoq: A plug-in for integrating SMT solvers into Coq [O] . Ekici, Burak, Mebsout, Alain, Tinelli, Cesare, 2017

机译：SMTCoq：用于将SMT求解器集成到Coq中的插件
8. Creating a Fast SMT Solver for the Theory of Real Non-Linear Constraints. [R] . Vale-Enriquez, F. R. 2018

机译：为实际非线性约束理论创建快速smT求解器。

SMTCoq: A plug-in for integrating SMT solvers into Coq

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅