Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Software verification
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Overview of techniques for verifying software
Property
Value
dbo:
description
overview of techniques for verifying software
(en)
огляд методів перевірки програмного забезпечення
(uk)
visió general de les tècniques per verificar el programari
(ca)
dbo:
wikiPageExternalLink
http://www.kroening.com/papers/tcad-sw-2008.pdf
dbo:
wikiPageWikiLink
dbr
:Alan_L._Breitler
dbr
:Dino_Mandrioli
dbr
:Anti-pattern
dbr
:Software_metric
dbc
:Software_testing
dbr
:Mehdi_Jazayeri
dbr
:Runtime_verification
dbr
:Software_engineering
dbr
:Correctness_(computer_science)
dbr
:Software_testing
dbr
:Stress_testing_(software)
dbr
:Dynamic_testing
dbr
:Formal_verification
dbr
:Carlo_Ghezzi
dbr
:Verification_and_validation_(software)
dbr
:Software_verification_and_validation
dbr
:Daniel_Kroening
dbr
:Static_code_analysis
dbr
:IEEE
dbr
:Hardware_verification
dbr
:Experimentation
dbr
:Software_bugs
dbr
:Unit_test
dbr
:Code_conventions
dbr
:Integration_test
dbp:
wikiPageUsesTemplate
dbt
:Main
dbt
:ISBN
dct:
subject
dbc
:Software_testing
gold:
hypernym
dbr
:Discipline
rdfs:
label
Software verification
(en)
Verificación de software
(es)
Верифікація програмного забезпечення
(uk)
軟體驗證
(zh)
owl:
sameAs
freebase
:Software verification
wikidata
:Software verification
dbpedia-zh
:Software verification
dbpedia-es
:Software verification
dbpedia-vi
:Software verification
dbpedia-az
:Software verification
dbpedia-th
:Software verification
dbpedia-uk
:Software verification
dbpedia-global
:Software verification
prov:
wasDerivedFrom
wikipedia-en
:Software_verification?oldid=1262364177&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Software_verification
is
dbo:
genre
of
dbr
:Java_Pathfinder
is
dbo:
knownFor
of
dbr
:Nico_Habermann
is
dbo:
wikiPageDisambiguates
of
dbr
:Verification
is
dbo:
wikiPageRedirects
of
dbr
:Dynamic_verification
dbr
:Static_verification
dbr
:Verification_of_software
is
dbo:
wikiPageWikiLink
of
dbr
:Model_checking
dbr
:Automated_reasoning
dbr
:Lionel_Briand
dbr
:Electoral_fraud
dbr
:ITMO_University
dbr
:TUM_School_of_Computation,_Information_and_Technology
dbr
:Device_driver_synthesis_and_verification
dbr
:Matita
dbr
:Java_Pathfinder
dbr
:Usability_testing
dbr
:SAT_solver
dbr
:Trusted_computing_base
dbr
:List_of_programmers
dbr
:Rajeev_Alur
dbr
:Computer_engineering_compendium
dbr
:Software_release_life_cycle
dbr
:George_Necula
dbr
:Software_testing
dbr
:Verification
dbr
:Ada_(programming_language)
dbr
:DO-178B
dbr
:XAP_processor
dbr
:Testing_high-performance_computing_applications
dbr
:Glossary_of_computer_science
dbr
:IBM_Israel
dbr
:Runtime_error_detection
dbr
:Nico_Habermann
dbr
:Software_construction
dbr
:SPARK_(programming_language)
dbr
:ACM_Transactions_on_Programming_Languages_and_Systems
dbr
:List_of_computer_scientists
dbr
:Attack_Surface_Analyzer
dbr
:Concolic_testing
dbr
:Constraint_Handling_Rules
dbr
:Shriram_Krishnamurthi
dbr
:Ilya_Sergey
dbr
:Artur_d'Avila_Garcez
dbr
:Monadic_second-order_logic
dbr
:Mihaela_Sighireanu
dbr
:Outline_of_computer_programming
dbr
:Software_verification_and_validation
dbr
:Verification_and_validation_of_computer_simulation_models
dbr
:Verve_(operating_system)
dbr
:Software_testing_tactics
dbr
:Z3_Theorem_Prover
dbr
:Emina_Torlak
dbr
:Institut_de_recherche_en_informatique_fondamentale
dbr
:Dynamic_verification
dbr
:Static_verification
dbr
:Verification_of_software
is
foaf:
primaryTopic
of
wikipedia-en
:Software_verification
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International