Results 11 to 20 of about 1,643,554 (351)
A survey on formal specification and verification of separation kernels [PDF]
Frontiers of Computer Science, 2015 Separation kernels are fundamental software of safety and security-critical systems, which provide their hosted applications with spatial and temporal separation as well as controlled information flows among partitions.
Yongwang Zhao, Zhibin Yang, Dian-fu Ma
semanticscholar +1 more source
Product Model Derivation from Feature Model and Formal Specification
Applied Sciences, 2022 Product derivation is the process of building a specific product from a software product line. Effective product derivation can improve software reuse productivity. Existing methods can only obtain abstract feature models, lacking detailed specifications
Xi Wang, Weiwei Wang, Hongbo Liu
doaj +1 more source
Formal Specifications from Natural Language [PDF]
arXiv.org, 2022 We study the generalization abilities of language models when translating natural language into formal specifications with complex semantics. In particular, we fine-tune language models on three datasets consisting of English sentences and their ...
Christopher Hahn +5 more
semanticscholar +1 more source
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Many project-specific languages, including in particular filtering languages, are defined using non-formal specifications written in natural languages. This leads to ambiguities and errors in the specification of those languages. This paper reports on an
Gurvan Le Guernic +2 more
doaj +1 more source
Validating the Formal Specification of the THUNDERS Process
TecnoLógicas, 2023 Collaborative work encourages participants to build knowledge through exploration, discussion, negotiation, and debate to generate a better understanding or shared understanding of a concept, problem, or situation within a group. The aim of collaborative
Vanessa Agredo-Delgado +2 more
doaj +1 more source
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World [PDF]
2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC), 2020 We present a new approach to automated scenario-based testing of the safety of autonomous vehicles, especially those using advanced artificial intelligence-based components, spanning both simulation-based evaluation as well as testing in the real world ...
Daniel J. Fremont +9 more
semanticscholar +1 more source
Formal specification and testing of QUIC
Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, 2019 QUIC is a new Internet secure transport protocol currently in the process of IETF standardization. It is intended as a replacement for the TLS/TCP stack and will be the basis of HTTP/3, the next official version of the hypertext transfer protocol.
K. McMillan, L. Zuck
semanticscholar +1 more source
LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning
International Joint Conference on Artificial Intelligence, 2019 In Reinforcement Learning (RL), an agent is guided by the rewards it receives from the reward function. Unfortunately, it may take many interactions with the environment to learn from sparse rewards, and it can be challenging to specify reward functions ...
Alberto Camacho +4 more
semanticscholar +1 more source
A Specification-Based Semi-Formal Functional Verification Method by a Stage Transition Graph Model
IEEE Access, 2019 The semi-formal verification method, in which the functionality is formally specified and the checking is undertaken through the formal model-based simulation, has been a promising choice for the functional verification of hardware designs.
Zhao Lv +3 more
doaj +1 more source
Towards a Formal Specification Framework for Manufacturing Execution Systems [PDF]
IEEE Transactions on Industrial Informatics, 2012 Manufacturing Execution Systems (MES) optimize production and business processes at the same time. However, the engineering and specification of MES is a challenging, interdisciplinary process.
Maria Witsch, B. Vogel‐Heuser
semanticscholar +1 more source