About: T2 Temporal Prover

An Entity of Type: software, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Program analyzer research project

Property	Value
dbo:author	dbr:Microsoft_Research
dbo:computingPlatform	dbr:.NET_Framework dbr:Mono_(software)
dbo:description	program analyzer research project (en)
dbo:developer	dbr:Microsoft
dbo:genre	dbr:Static_program_analysis
dbo:latestReleaseDate	2017-05-30 (xsd:date)
dbo:latestReleaseVersion	CADE_2017
dbo:license	dbr:MIT_License
dbo:operatingSystem	dbr:Linux dbr:Microsoft_Windows dbr:Ubuntu dbr:MacOS
dbo:programmingLanguage	dbr:F_Sharp_(programming_language)
dbo:wikiPageExternalLink	https://web.archive.org/web/20131004092144/http:/research.microsoft.com/en-us/um/cambridge/projects/terminator/ https://github.com/mmjb/T2 https://www.microsoft.com/en-us/research/publication/t2-temporal-property-verification/ https://github.com/mmjb/T2/
dbo:wikiPageWikiLink	dbr:GitHub dbr:Linux dbr:Microsoft_Windows dbr:Ubuntu dbr:.NET_Framework dbr:Debian dbr:F_Sharp_(programming_language) dbr:MIT_License dbr:MacOS dbr:Microsoft dbr:Microsoft_Research dbr:Mono_(software) dbc:Software_using_the_MIT_license dbr:Termination_analysis dbr:Halting_problem dbr:Soundness dbr:Springer_Publishing dbc:Microsoft_Research dbr:Undecidable_problem dbc:Software_that_uses_Mono_(software) dbr:Code_analysis dbc:Microsoft_free_software dbc:Free_and_open-source_software
dbp:author	dbr:Microsoft_Research
dbp:date	2013-10-04 (xsd:date)
dbp:developer	dbr:Microsoft
dbp:genre	dbr:Static_program_analysis
dbp:latestReleaseDate	2017-05-30 (xsd:date)
dbp:latestReleaseVersion	CADE_2017 (en)
dbp:license	dbr:MIT_License
dbp:name	T2 Temporal Prover (en)
dbp:operatingSystem	Windows, Linux , macOS (en)
dbp:platform	dbr:.NET_Framework dbr:Mono_(software)
dbp:programmingLanguage	dbr:F_Sharp_(programming_language)
dbp:repo	https://github.com/mmjb/T2
dbp:title	Terminator Research Project (en)
dbp:url	https://web.archive.org/web/20131004092144/http:/research.microsoft.com/en-us/um/cambridge/projects/terminator/
dbp:website	https://www.microsoft.com/en-us/research/publication/t2-temporal-property-verification/
dbp:wikiPageUsesTemplate	dbt:Portal dbt:Microsoft_Research dbt:Windows-software-stub dbt:Cite_journal dbt:Infobox_software dbt:Microsoft_FOSS dbt:Reflist dbt:Start_date_and_age dbt:Webarchive dbt:Science-software-stub
dct:subject	dbc:Software_using_the_MIT_license dbc:Microsoft_Research dbc:Software_that_uses_Mono_(software) dbc:Microsoft_free_software dbc:Free_and_open-source_software
rdf:type	owl:Thing dbo:Software dbo:Software dbo:Software wikidata:Q386724 wikidata:Q7397 dbo:Work dbo:Work schema:CreativeWork
rdfs:label	T2 Temporal Prover (en)
owl:sameAs	wikidata:T2 Temporal Prover dbpedia-global:T2 Temporal Prover
prov:wasDerivedFrom	wikipedia-en:T2_Temporal_Prover?oldid=1297312739&ns=0
foaf:homepage	https://www.microsoft.com/en-us/research/publication/t2-temporal-property-verification/ https://www.microsoft.com/en-us/research/publication/t2-temporal-property-verification/
foaf:isPrimaryTopicOf	wikipedia-en:T2_Temporal_Prover
foaf:name	T2 Temporal Prover (en)
is dbo:wikiPageRedirects of	dbr:Microsoft_Terminator
is dbo:wikiPageWikiLink of	dbr:T2 dbr:Microsoft_Terminator
is foaf:primaryTopic of	wikipedia-en:T2_Temporal_Prover