Results 21 to 30 of about 2,084,052 (380)
A Summary of Formal Specification and Verification of Autonomous Robotic Systems [PDF]
International Conference on Integrated Formal Methods, 2019 Autonomous robotic systems are complex, hybrid, and often safety-critical; this makes their formal specification and verification uniquely challenging. Though commonly used, testing and simulation alone are insufficient to ensure the correctness of, or ...
Matt Luckcuck +4 more
semanticscholar +1 more source
Logic Programming Tools for Formal Software Specification [PDF]
Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki, 2011 Jednym z najistotniejszych problemów w inżynierii oprogramowania jest opracowanie i zawężenie wymagań dotyczących oprogramowania w celu określenia dokładnych specyfikacji, a także kwestia przekształcenia specyfikacji dotyczących złożonych problemów w ...
Halina Przymusińska
doaj +1 more source
Towards automatic Maude specifications generation from C functions
Journal of Innovation Information Technology and Application, 2023 In this paper, we aim to contribute to the knowledge about how imperative C functions can be transformed to Maude functional and system modules respectively.
fateh boutekkouk
doaj +1 more source
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
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
A formal specification of dMARS [PDF]
, 1998 The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault diagnosis on the space shuttle to air traffic management and business process control.
David Kinny +3 more
openaire +3 more sources
Formal Specification and Testing of a Management Architecture [PDF]
, 1997 The importance of network and distributed systems management to supply and maintain services required by users has led to a demand for management facilities.
C Wezeman +16 more
core +3 more sources
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