Results 151 to 160 of about 163,944 (210)
An Analysis of the Governance, Ethical, Legal, and Social Implications of Biocomputing. [PDF]
Sci Eng EthicsSirbu RA, Floridi L.
europepmc +1 more source
ESP-MC: An experiment in the use of verification tools
, 1995 We present an experiment of applying existing verification tools for process algebra, namely ACTL model checker and AUTO, to a system based on parallel logic programming: Extended Shared Prolog (ESP). The constructed tool ESP-MC (a semi-automatic model checker for ESP) models value passing by suitably expanding all the data that influence the control ...
Xiaojun, Chen +2 more
openaire +4 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
An experience on verification of aspect properties
Proceedings of the 4th international workshop on Principles of software evolution - IWPSE '01, 2002Aspect oriented technologies enable concerns like concurrency or security to be coded in separate units. This paper suggests that relevant system properties can be verified just based on such separated code. A simple experience is reported for showing how the proposed approach works.
DENARO, GIOVANNI, Monga, M.
openaire +1 more source
Generalized Computational Experiment and Verification Problems
Programming and Computer Software, 2021This paper considers the construction of a generalized computational experiment for solving verification problems. The problem of comparative accuracy assessment of numerical methods is currently acquiring special relevance due to the introduction of published standards and widespread use of software packages that include a large number of different ...
Aleksey K. Alekseev +3 more
openaire +1 more source
An experiment in automatic verification of programs
Communications of the ACM, 1963How effective is a compiler at replacing explicit verification, and what is the cost of this technique?
Gerald M. Weinberg, G. L. Gressett
openaire +2 more sources
An experience in embedded control software verification
2009 IEEE Conference on Emerging Technologies & Factory Automation, 2009We report on our experience with the formal verification of CalRoc2003, the software that controls the scientific payload for the SCORE coronographic experiment. Our target was using the state-of-the-art SPIN model checker for spotting concurrency problems that could have gone undetected in the traditional testing phase. Some challenges had to be faced
ROLANDO, PIERLUIGI, SISTO, Riccardo
openaire +1 more source
Specification and verification
Communications of the ACM, 2011Can a programming language really help programmers write better programs?
Mike Barnett 0001 +5 more
openaire +1 more source