Search alternatives:
verification » purification (Expand Search), modification (Expand Search)
quantification » identification (Expand Search)
modifications » modification (Expand Search)
specifications » specification (Expand Search), specificities (Expand Search)
verification » purification (Expand Search), modification (Expand Search)
quantification » identification (Expand Search)
modifications » modification (Expand Search)
specifications » specification (Expand Search), specificities (Expand Search)
-
1
Formal Specifications and Verification of AUTOSAR-compliant RTOS
Published 2024“…<p dir="ltr">In this paper we propose a method for formal specification of AUTOSAR SWS_OS and verify that a given implementation adheres to the standard. …”
-
2
Reproducible Research, Uncertainty Quantification, and Verification & Validation
Published 2014Subjects: -
3
-
4
-
5
Model establishment and verification.
Published 2014Subjects: “…Hepatocyte Growth Factor Modification Enhances…”
-
6
Supplementary material for "MutDafny: A Mutation-Based Approach to Assess Dafny Specifications"
Published 2025Subjects: -
7
Incorporating Verification Standards for Security Requirement Generation from Functional Specifications
Published 2025“…<p dir="ltr">The data used in the paper "Incorporating Verification Standards for Security Requirement Generation from Functional Specifications" is published here. …”
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
Verification of changes in SUMOylation in selected cellular and viral proteins.
Published 2023Subjects: -
20
Verification and Validation of Computational Modeling and Simulation - A community effort
Published 2016Subjects: