Mandating Code Disclosure is Unnecessary – Strict Model Verification Does Not Require Accessing Original Computer Code

05/11/2021
by   Sasanka Sekhar Chanda, et al.
0

Mandating public availability of computer code underlying computational simulation modeling research ends up doing a disservice to the cause of model verification when inconsistencies between the specifications in the publication text and specifications in the computer code go unchallenged. Conversely, a model is verified when an independent researcher undertakes the set of mental processing tasks necessary to convert natural language specifications in a publication text into computer code instructions that produce numerical or graphical outputs identical to the outputs found in the original publication. The effort towards obtaining convergence with the numerical or graphical outputs directs intensive consideration of the publication text. The original computer code has little role to play in determining the verification status - verified/ failed verification. An insight is obtained that skillful deployment of human intelligence is feasible when effort-directing feedback processes are in place to appropriately go around the human frailty of giving up in the absence of actionable feedback. This principle can be put to use to develop better organizational configurations in business, government and society.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/01/2021

Verifying Verified Code

A recent case study from AWS by Chong et al. proposes an effective metho...
research
05/17/2023

LeTI: Learning to Generate from Textual Interactions

Finetuning pre-trained language models (LMs) enhances the models' capabi...
research
08/27/2017

Carnot Efficiency of Publication

This paper analyzes publication efficiency in terms of Hirsch-index or h...
research
03/17/2018

A Dual Approach to Scalable Verification of Deep Networks

This paper addresses the problem of formally verifying desirable propert...
research
03/12/2018

Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption

Many applications require conformance with specifications that constrain...
research
07/11/2023

What do LLMs need to Synthesize Correct Router Configurations?

We investigate whether Large Language Models (e.g., GPT-4) can synthesiz...
research
09/30/2015

Model-independent comparison of simulation output

Computational models of complex systems are usually elaborate and sensit...

Please sign up or login with your details

Forgot password? Click here to reset