Results 321 to 330 of about 1,613,251 (354)
Some of the next articles are maybe not open access.
Formal Specification and Verification
1997Once requirements are fully understood, it is important to have them documented and verified. This stage is critical, since no one wants to waste hundreds of employee hours developing a software package that does not function as expected. Requirements specification can be done in terms of the logical components involved, their respective inputs ...
openaire +2 more sources
Formal API Specification of the PikeOS Separation Kernel
NASA Formal Methods, 2015Freek Verbeek +8 more
semanticscholar +1 more source
BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software
NASA Formal Methods, 2013Brian R. Larson +2 more
semanticscholar +1 more source
A Survey of Smart Contract Formal Specification and Verification
ACM Computing Surveys, 2022, Yang Liu
exaly
Formal Specification-Based Inspection for Verification of Programs
IEEE Transactions on Software Engineering, 2012Shaoying Liu +3 more
semanticscholar +1 more source
Easy Formal Specification and Validation of Unbounded Networks-on-Chips Architectures
ACM Trans. Design Autom. Electr. Syst., 2012Freek Verbeek, J. Schmaltz
semanticscholar +1 more source
Towards Industrial Formal Specification of Programmable Safety Systems
IEEE Transactions on Control Systems Technology, 2012Oscar Ljungkrantz +3 more
semanticscholar +1 more source
Formal Specification and Verification of Autonomous Robotic Systems
ACM Computing Surveys, 2020Matt Luckcuck +2 more
exaly
Formal Specification and Testing of Model Transformations
International School on Formal Methods for the Design of Computer, Communication and Software Systems, 2012Antonio Vallecillo +4 more
semanticscholar +1 more source
Formal Methods in Railways: A Systematic Mapping Study
ACM Computing Surveys, 2023Alessio Ferrari, Maurice H Ter Beek
exaly