Results 351 to 360 of about 3,649,820 (385)
Some of the next articles are maybe not open access.
Formal Methods and Verification
1992Formal methods involve representing an implementation and a specification within a formal theory or calculus. Verification compares the representations within the formal theory, reasoning that under particular constraints the implementation ensures the specification is (or is not) met.
openaire +2 more sources
Simplifying Neural Networks Using Formal Verification
NASA Formal Methods, 2020S. Gokulanathan +4 more
semanticscholar +1 more source
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
A Survey of Smart Contract Formal Specification and Verification
ACM Computing Surveys, 2022, Yang Liu
exaly
Formale Verifikationsverfahren (Formal Verification)
it - Information Technology, 2001openaire +2 more sources
Formal Specification and Verification of Autonomous Robotic Systems
ACM Computing Surveys, 2020Matt Luckcuck +2 more
exaly
Formal Methods in Railways: A Systematic Mapping Study
ACM Computing Surveys, 2023Alessio Ferrari, Maurice H Ter Beek
exaly
American Cancer Society Guideline for the Early Detection of Cervical Neoplasia and Cancer
Ca-A Cancer Journal for Clinicians, 2002Carolyn D Runowicz, Robert A Smith
exaly
Formal Verification of Masked Hardware Implementations in the Presence of Glitches
IACR Cryptology ePrint Archive, 2018R. Bloem +5 more
semanticscholar +1 more source
American Cancer Society Guidelines for Breast Cancer Screening: Update 2003
Ca-A Cancer Journal for Clinicians, 2003Robert A Smith
exaly