This HTML5 document contains 23 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
category-eshttp://es.dbpedia.org/resource/Categoría:
dcthttp://purl.org/dc/terms/
wikipedia-eshttp://es.wikipedia.org/wiki/
n6http://scielo.sld.cu/scielo.php%3Fscript=sci_arttext&pid=
n14http://es.wikipedia.org/wiki/Verificación_formal?oldid=117342113&ns=
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
prop-eshttp://es.dbpedia.org/property/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n5http://rdf.freebase.com/ns/m.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n15http://marenas.sitios.ing.uc.cl/iic3800/clases/intro-beamer-imp.
owlhttp://www.w3.org/2002/07/owl#
n17https://www.infor.uva.es/~jvalvarez/docencia/tema8.
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
Subject Item
dbr:Formal_verification
owl:sameAs
dbpedia-es:Verificación_formal
Subject Item
wikipedia-es:Verificación_formal
foaf:primaryTopic
dbpedia-es:Verificación_formal
Subject Item
dbpedia-es:Verificación_formal
rdfs:label
Verificación formal
rdfs:comment
La verificación formal, en ingeniería y en computación, es un método de validación estática (se valida a través del propio código del programa, a partir de una abstracción o de una representación simbólica) en el que, partiendo de un conjunto axiomático, reglas de inferencia y algún lenguaje lógico (como la lógica de primer orden), se puede encontrar una demostración o prueba de corrección de un programa, algoritmo, etc, aunque también se puede encontrar su refutación.​Es un método necesario para probar cualquier programa o teoría pero, aunque sea satisfactoria, no asegura que la solución sea del todo correcta.
owl:sameAs
n5:01nswj
dct:subject
category-es:Informática_teórica category-es:Métodos_formales
foaf:isPrimaryTopicOf
wikipedia-es:Verificación_formal
prop-es:apellido
Morales
prop-es:fecha
jul-sep 2003
prop-es:idioma
español
prop-es:nombre
David
prop-es:título
La investigación en verificación formal: un estado del arte
prop-es:url
n6:S2227-18992013000300010
dbo:wikiPageID
49154
dbo:wikiPageRevisionID
117342113
dbo:wikiPageExternalLink
n6:S2227-18992013000300010 n15:pdf n17:pdf
dbo:wikiPageLength
8308
prov:wasDerivedFrom
n14:0
dbo:abstract
La verificación formal, en ingeniería y en computación, es un método de validación estática (se valida a través del propio código del programa, a partir de una abstracción o de una representación simbólica) en el que, partiendo de un conjunto axiomático, reglas de inferencia y algún lenguaje lógico (como la lógica de primer orden), se puede encontrar una demostración o prueba de corrección de un programa, algoritmo, etc, aunque también se puede encontrar su refutación.​Es un método necesario para probar cualquier programa o teoría pero, aunque sea satisfactoria, no asegura que la solución sea del todo correcta. Dentro de la computación, la verificación es usada para estudiar los distintos sistemas software (en código fuente), sistemas combinacionales, circuitos digitales, etc. Uno de los precursores de la verificación fue Edsger Dijkstra que, mostrando mucho interés en ella durante los 70, publicó el libro "A Discipline of Programming", en el cual, presentó su método de desarrollo sistemático de programas junto con sus pruebas de corrección, todos ellos basados en la verificación formal.
Subject Item
dbpedia-es:Verificacion_formal
dbo:wikiPageRedirects
dbpedia-es:Verificación_formal