Skip to content
Free planNo credit card requiredStart writing
AI for Research home
AI for Research home
Dashboard
Sign inGet started

Search 250 million research papers

Read the abstract, see who wrote it and who cites it, and get the citation in APA, MLA, Chicago or Harvard.

About 10,000 papers for “Verification”

Forecast verification reportForecast verification report

February February Anna, Jakob Hansen, Anna Hilden et al. · 2007

this report are for seasons of three months each: Winter is December through February, spring is March through May, etc. Winter seasons are numbered according to the calendar year in which they end; winter 1995 is thus December 1994 to February 1995. 1.2 Abbreviations

Cited by 0

Verification Games: Making Verification Fun

Werner Dietl, Stephanie Dietzel, Michael D. Ernst et al. · 2013

Program verification is the only way to be certain that a given piece of software is free of (certain types of) errors — errors that could otherwise disrupt operations in the field. To date, formal verification has been done by specially-trained engineers. Labor costs have heretofore made formal verification too costly to apply beyond small, critical software components. Our goal is to make verification more cost-effective by reducing the skill set required for program verification and increasing the pool of people capable of performing program verification. Our approach is to transform the verification task (a program and a goal property) into a visual puzzle task — a game — that gets solved by people. The solution of the puzzle is then translated back into a proof of correctness. The puzzle is engaging and intuitive enough that ordinary people can through game-play become experts. This paper presents a status report on the Verification Games project and our Pipe Jam prototype game.

Cited by 0

Forecast verification reportForecast verification report

September September Anna, Anna Hilden · 2007

this report are for seasons of three months each: Winter is December through February, spring is March through May, etc. Winter seasons are numbered according to the calendar year in which they end; winter 1995 is thus December 1994 to February 1995. 1.2 Abbreviations

Cited by 0

Verification

Ernesto Sánchez · WORLD SCIENTIFIC eBooks · 2020

Cited by 0

Verification

Adrian W. Graham, Nicholas C. Kirkman, Peter M. Paul · 2006

This chapter contains sections titled: Validation and Verification Introduction to Surveys Survey Fundamentals Digital Surveying Digital Network Performance Surveys Planning a Survey Campaign Network Analysis and Network Acceptance A Case Study Verification Deliverables

Cited by 0

Verification

Andrew D. McGettrick, Owen Traynor, David Lorenzo Duffy · Lecture notes in computer science · 1993

Cited by 0

Verification

The SAGE Encyclopedia of Social Science Research Methods · 2004

Cited by 0

Verification

Lecture notes in computer science · 1982

Cited by 0

Verification

Verbeek, HMW Eric, Wynn, Moe T · TU/e Research Portal (Eindhoven University of Technology) · 2010

Cited by 0

Verification.

Peng Peng (321387), Ivens Portugal (11172240), Paulo Alencar (4382428) et al. · Figshare · 2021

Cited by 0Open access

Verification

Dubey, Anshu · Figshare · 2017

Module 6 of the Better Scientific Software tutorial delivered at SC17, Denver, Colorado, 2017-11-13.

Cited by 0Open access

Verification

Marriott Tampa Waterside, Stephen Scukanec, I A D T M/s et al. · 2011

• Verification requirements specify the verification events needed to prove the satisfaction of the product requirements and help to define the verification process and environment • Verification requirements are necessary for at least two reasons: – Existence of verification requirements demonstrates verifiability of product requirements – Agreed-to verification requirements define the verification program by which the contractor shows that the product is what the customer contracted for 2 Cleared for Public Release, Control No. 08-105 Steve Scukanec Northrop Grumman 3/14/2011A Day in the Life of a Verification

Cited by 0

Verification

Kuat T. Yessenov, Daniel N. Jackson, C. Smith et al. · 2009

This thesis presents a new light-weight specification language called JForge Specification Language (JFSL) for object-oriented languages such as Java. The language is amenable to bounded verification analysis by a tool called JForge that interprets JFSL specifications, fully integrates with a mainstream development environment, and assists programmers in examining counter example traces and debugging specifications. JFSL attempts to address challenges of specification languages such as inheritance, frame conditions, dynamic dispatch, and method calls inside specifications in the context of bounded verification. A collection of verification tasks illustrates the expressiveness and conciseness of JForge specifications and demonstrates effectiveness of the bounded verification technique.

Cited by 0

Verification

Plant Parameter · 2015

A.3 Control / Entry Evaluated while performing JPM B.2.a and Exit from a RCA Emergency 2. a. K/A 2.4.39 3.3/3.1 Emergency Exposures A.4 Plan / Emergency 2. b. K/A 2.4.29 2.6/4.0 Emergency facilities

Cited by 0

verification

2024

Citation: 'verification' in the IUPAC Compendium of Chemical Terminology, 5th ed.; International Union of Pure and Applied Chemistry; 2025. Online version 5.0.0, 2025. 10.1351/goldbook.08139 • License: The IUPAC Gold Book is licensed under Creative Commons Attribution-ShareAlike CC BY-SA 4.0 International for individual terms. Requests for commercial usage of the compendium should be directed to IUPAC.

Cited by 0