About: FDR (software)

Property	Value
dbo:description	Software (de) програмне забезпечення (uk) perangkat lunak University of Oxford (in) refinement checking software tool (en)
dbo:developer	dbr:University_of_Oxford
dbo:genre	dbr:Communicating_sequential_processes
dbo:latestReleaseDate	2019-02-19 (xsd:date)
dbo:latestReleaseVersion	4.2.4
dbo:license	dbr:Proprietary_software
dbo:thumbnail	wiki-commons:Special:FilePath/FDR4_CSP_refinement_checker_software_logo.png?width=300
dbo:wikiPageExternalLink	https://cocotec.io/fdr/
dbo:wikiPageWikiLink	dbr:Proprietary_software dbc:Model_checkers dbr:Communicating_sequential_processes dbc:Oxford_University_Computing_Laboratory dbr:University_of_Oxford dbr:Refinement_(computing) dbc:Concurrent_computing dbr:Bill_Roscoe dbr:Department_of_Computer_Science,_University_of_Oxford dbr:Software_tool dbr:Michael_Goldsmith_(computer_scientist) dbr:Model_checker dbr:State-space dbr:Formal_model dbr:Labelled_transition_system dbr:Semantic_model dbr:Program_refinement
dbp:developer	University of Oxford, Cocotec (en)
dbp:genre	CSP refinement checker (en)
dbp:latestReleaseDate	2019-02-19 (xsd:date)
dbp:latestReleaseVersion	4.200000 (xsd:double)
dbp:license	dbr:Proprietary_software
dbp:logo	FDR4_CSP_refinement_checker_software_logo.png (en)
dbp:name	FDR (en)
dbp:operatingSystem	(en) Windows (en) Linux (en) MacOS (en)
dbp:otherNames	FDR2, FDR3, FDR4 (en)
dbp:website	https://cocotec.io/fdr/
dbp:wikiPageUsesTemplate	dbt:Start_date_and_age dbt:Reflist dbt:Programming-software-stub dbt:Use_dmy_dates dbt:Infobox_software
dct:subject	dbc:Model_checkers dbc:Oxford_University_Computing_Laboratory dbc:Concurrent_computing
rdf:type	owl:Thing dbo:Software dbo:Software wikidata:Q386724 wikidata:Q7397 dbo:Work schema:CreativeWork
rdfs:label	FDR (software) (en)
owl:sameAs	wikidata:FDR (software) dbpedia-global:FDR (software) dbr:FDR (software)
prov:wasDerivedFrom	wikipedia-en:FDR_(software)?oldid=1258471775&ns=0
foaf:depiction	wiki-commons:Special:FilePath/FDR4_CSP_refinement_checker_software_logo.png
foaf:homepage	https://cocotec.io/fdr/ https://cocotec.io/fdr/
foaf:isPrimaryTopicOf	wikipedia-en:FDR_(software)
foaf:name	FDR (en)
is dbo:wikiPageDisambiguates of	dbr:FDR_(disambiguation)
is dbo:wikiPageRedirects of	dbr:FDR2 dbr:Failures-Divergence_Refinement dbr:Failures-Divergences_Refinement
is dbo:wikiPageWikiLink of	dbr:FDR_(disambiguation) dbr:FDR2 dbr:Gavin_Lowe_(computer_scientist) dbr:Failures-Divergence_Refinement dbr:Failures-Divergences_Refinement
is foaf:primaryTopic of	wikipedia-en:FDR_(software)