A Dynamic Software Certification and Verification Procedure

&
SCI’99 Proceedings 2:426-435 (1998)
  Copy   BIBTEX

Abstract

in Oct-14-1998 ordinance INDESP-IO4 established the federal software certification and verification requirements for gaming machines in Brazil. The authors present the rationale behind these criteria, whose basic principles can find applications in several other software authentication applications.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Why There is no General Solution to the Problem of Software Verification.John Symons & Jack J. Horner - 2020 - Foundations of Science 25 (3):541-557.
Why There is no General Solution to the Problem of Software Verification.John Symons & Jack K. Horner - 2020 - Foundations of Science 25 (3):541-557.
The Matrix-Graph Method Of Choice And Verification Of Software Reliability Models.V. S. Kharchenko, O. M. Tarasyuk & V. V. Sklyar - forthcoming - Philosophy of Science.
Formal Methods: Theory and Practice.P. N. Scharbach - 1989
Lipreading procedure for liveness verification in video authentication systems.Agnieszka Owczarek & Krzysztof Ślot - 2012 - In Emilio Corchado, Vaclav Snasel, Ajith Abraham, Michał Woźniak, Manuel Grana & Sung-Bae Cho (eds.), Hybrid Artificial Intelligent Systems. Springer. pp. 115--124.
Lambda calculus with types.H. P. Barendregt - 2013 - New York: Cambridge University Press. Edited by Wil Dekkers & Richard Statman.
Theory and application of satisfiability testing - SAT 2011: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011: proceedings.Karem A. Sakallah & Laurent Simon (eds.) - 2011 - New York: Springer.
Tiered Certification.Shay Lavie - 2018 - Theoretical Inquiries in Law 19 (1):69-107.
On the Content of Information Systems Ontologies.Timothy Tambassi - 2021 - Acta Analytica 36 (4):615-621.
Abstraction and Idealization in the Formal Verification of Software Systems.Nicola Angius - 2013 - Minds and Machines 23 (2):211-226.

Analytics

Added to PP
2021-07-23

Downloads
231 (#91,212)

6 months
77 (#69,046)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Julio Michael Stern
University of São Paulo

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references