Destruct
发表于 2025-3-21 17:17:05
书目名称NASA Formal Methods影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0660033<br><br> <br><br>书目名称NASA Formal Methods影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0660033<br><br> <br><br>书目名称NASA Formal Methods网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0660033<br><br> <br><br>书目名称NASA Formal Methods网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0660033<br><br> <br><br>书目名称NASA Formal Methods被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0660033<br><br> <br><br>书目名称NASA Formal Methods被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0660033<br><br> <br><br>书目名称NASA Formal Methods年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0660033<br><br> <br><br>书目名称NASA Formal Methods年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0660033<br><br> <br><br>书目名称NASA Formal Methods读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0660033<br><br> <br><br>书目名称NASA Formal Methods读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0660033<br><br> <br><br>
音乐戏剧
发表于 2025-3-21 21:27:46
http://reply.papertrans.cn/67/6601/660033/660033_2.png
Mucosa
发表于 2025-3-22 02:43:34
http://reply.papertrans.cn/67/6601/660033/660033_3.png
tolerance
发表于 2025-3-22 07:52:20
The Prusti Project: Formal Verification for Rustem, which enforces by default that memory is either shared or mutable, but never both. This guarantee is used to prevent common pitfalls such as memory errors and data races. It can also be used to greatly simplify formal verification, as we demonstrated by developing the Prusti verifier, which can
fulmination
发表于 2025-3-22 11:45:44
Reachability Analysis for Cyber-Physical Systems: Are We There Yet?n set of unsafe states. Its importance lies in the ability to exhaustively explore the behaviors of a model over a finite or infinite time horizon. The problem of reachability analysis for Cyber-Physical Systems (CPS) is especially challenging because it involves reasoning about the continuous state
专心
发表于 2025-3-22 15:48:53
Towards Better Test Coverage: Merging Unit Tests for Autonomous Systemsits operating environment. The question of whether it is possible to design a single test for multiple requirements of the system motivates this work. First, we formally define three attributes of a test: a test specification that characterizes behaviors observed in a test execution, a test environm
停止偿付
发表于 2025-3-22 18:28:11
http://reply.papertrans.cn/67/6601/660033/660033_7.png
erythema
发表于 2025-3-22 23:23:43
Hierarchical Contract-Based Synthesis for Assurance Casese design space, and an algorithm for the automatic selection of one or more members from the design space that are provably guaranteed to satisfy the overall specification. A key challenge in automatic synthesis is the complexity of the design space. In this paper, we introduce a formal model, terme
RAG
发表于 2025-3-23 01:27:52
Verified Probabilistic Policies for Deep Reinforcement Learningre is also growing interest in formally verifying that such policies are correct and execute safely. Progress has been made in this area by building on existing work for verification of deep neural networks and of continuous-state dynamical systems. In this paper, we tackle the problem of verifying
灯泡
发表于 2025-3-23 06:32:58
NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft processes images from a camera to guide the aircraft while approaching the runway. A central challenge for the safety and liveness verification of vision-based closed-loop systems is the lack of mathematical models that captures the relation between the system states (e.g., position of the aircraft)