Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Software_verification> }
Showing triples 1 to 34 of
34
with 100 triples per page.
- Java_Pathfinder genre Software_verification.
- Verification wikiPageDisambiguates Software_verification.
- ACM_Transactions_on_Programming_Languages_and_Systems wikiPageWikiLink Software_verification.
- Artur_dAvila_Garcez wikiPageWikiLink Software_verification.
- Attack_Surface_Analyzer wikiPageWikiLink Software_verification.
- Automated_reasoning wikiPageWikiLink Software_verification.
- Concolic_testing wikiPageWikiLink Software_verification.
- Constraint_Handling_Rules wikiPageWikiLink Software_verification.
- DO-178B wikiPageWikiLink Software_verification.
- Device_driver_synthesis_and_verification wikiPageWikiLink Software_verification.
- Electoral_fraud wikiPageWikiLink Software_verification.
- George_Necula wikiPageWikiLink Software_verification.
- IBM_Haifa_Research_Laboratory wikiPageWikiLink Software_verification.
- IBM_R&D_Labs_in_Israel wikiPageWikiLink Software_verification.
- ITMO_University wikiPageWikiLink Software_verification.
- Information_technology_operations wikiPageWikiLink Software_verification.
- Institute_of_Science_and_Technology_Austria wikiPageWikiLink Software_verification.
- Java_Pathfinder wikiPageWikiLink Software_verification.
- LURCH wikiPageWikiLink Software_verification.
- List_of_computer_scientists wikiPageWikiLink Software_verification.
- Model_checking wikiPageWikiLink Software_verification.
- Nico_Habermann wikiPageWikiLink Software_verification.
- Runtime_error_detection wikiPageWikiLink Software_verification.
- Shriram_Krishnamurthi wikiPageWikiLink Software_verification.
- Software_construction wikiPageWikiLink Software_verification.
- Software_testing wikiPageWikiLink Software_verification.
- Software_verification_and_validation wikiPageWikiLink Software_verification.
- Testing_high-performance_computing_applications wikiPageWikiLink Software_verification.
- Trusted_computing_base wikiPageWikiLink Software_verification.
- Verification wikiPageWikiLink Software_verification.
- Verification_and_validation_of_computer_simulation_models wikiPageWikiLink Software_verification.
- Verve_(operating_system) wikiPageWikiLink Software_verification.
- XAP_processor wikiPageWikiLink Software_verification.
- Software_verification primaryTopic Software_verification.