排序方式: 共有2条查询结果,搜索用时 0 毫秒
1
1.
Neural Computing and Applications - Internet-of-Things (IoT) devices are becoming prevalent, and some of them, such as sensors, generate continuous time-series data, i.e., streaming data. These IoT... 相似文献
2.
Aaron Stump Duckki Oe Andrew Reynolds Liana Hadarean Cesare Tinelli 《Formal Methods in System Design》2013,42(1):91-118
Producing and checking proofs from SMT solvers is currently the most feasible method for achieving high confidence in the correctness of solver results. The diversity of solvers and relative complexity of SMT over, say, SAT means that flexibility, as well as performance, is a critical characteristic of a proof-checking solution for SMT. This paper describes such a solution, based on a Logical Framework with Side Conditions (LFSC). We describe the framework and show how it can be applied for flexible proof production and checking for two different SMT solvers, clsat and cvc3. We also report empirical results showing good performance relative to solver execution time. 相似文献
1