Formal Specification and Validation of a Hybrid Connectivity Restoration Algorithm for Wireless Sensor and Actor Networks † [PDF]
Sensors (Basel), 2012 Maintaining inter-actor connectivity is extremely crucial in mission-critical applications of Wireless Sensor and Actor Networks (WSANs), as actors have to quickly plan optimal coordinated responses to detected events.
Imran M, Zafar N.
europepmc +2 more sources
KerSpecGen: Co-piloting formal Kernel specification synthesis with refined knowledge graphs and large language models. [PDF]
PLoS ONEFormal verification ensures software correctness but faces challenges in kernel specification writing, which is labor-intensive, expertise-dependent, and limited to specific targets.
Zi Wang +4 more
doaj +2 more sources
The Formal Specification of Oberon.
, 1997 JUCS - Journal of Universal Computer Science Volume Nr.
P Kutter, Alfonso Pierantonio
openalex +5 more sources
A Survey of Smart Contract Formal Specification and Verification [PDF]
ACM Computing Surveys, 2020 A smart contract is a computer program that allows users to automate their actions on the blockchain platform. Given the significance of smart contracts in supporting important activities across industry sectors including supply chain, finance, legal ...
Palina Tolmach +4 more
semanticscholar +1 more source
A Component-Based Formal Language Workbench [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 The CBS framework supports component-based specification of programming languages. It aims to significantly reduce the effort of formal language specification, and thereby encourage language developers to exploit formal semantics more widely.
Peter D. Mosses
doaj +1 more source
Formal Specification and Verification of Autonomous Robotic Systems [PDF]
ACM Computing Surveys, 2018 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
Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions
IEEE Access, 2020 Formal methods play an important role in testing and verifying software quality, especially in modern society with rapid technological updates.
Fujun Wang +3 more
doaj +1 more source
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
A Formal Approach based on Fuzzy Logic for the Specification of Component-Based Interactive Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Formal methods are widely recognized as a powerful engineering method for the specification, simulation, development, and verification of distributed interactive systems.
Vasileios Koutsoumpas
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