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 Language mCRL2
, 2007 We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour of distributed systems. This language is the successor of the mCRL specification language. The mCRL2 language extends a timed basic process algebra with the possibility to define and use abstract data types. The mCRL2 data language features predefined and
J.F. Groote (Jan Friso) +4 more
openaire +7 more sources
On Formal Specification of Emergent Behaviours in Swarm Robotic Systems
International Journal of Advanced Robotic Systems, 2005 It is a characteristic of swarm robotics that specifying overall emergent swarm behaviours in terms of the low-level behaviours of individual robots is very difficult.
Michael Fisher, Clare Dixon
exaly +2 more sources
The integration of software specification, verification, and testing techniques with software requirements and design processes. [PDF]
, 1995 Specifying, verifying, and testing software requirements and design are very important tasks in the software development process and must be taken seriously.
Chantatub, Wachara
core +6 more sources
Methodology for the formal specification of RTL RISC processor designs (with particular reference to the ARM6) [PDF]
, 2003 Due to the need to meet increasingly challenging objectives of increasing performance, reducing power consumption and reducing size, synchronous processor core designs have been increasing significantly in complexity for some time now.
Schostak, Daniel Paul
core +7 more sources
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
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
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 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
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