About: TAPAAL Model Checker

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

Timed-Arc Petri Nets verifier

Property	Value
dbo:description	Modellierungsprüfer (de) Timed-Arc Petri Nets verifier (en) perangkat lunak Aalborg University (in)
dbo:developer	dbr:Aalborg_University
dbo:genre	dbr:Model_checking
dbo:language	dbr:English_language
dbo:latestReleaseVersion	3.9.4
dbo:license	dbr:Open-source_license
dbo:operatingSystem	dbr:Linux dbr:Microsoft_Windows dbr:MacOS
dbo:thumbnail	wiki-commons:Special:FilePath/TAPAAL_2.2.1_screenshot.jpg?width=300
dbo:wikiPageExternalLink	http://www.tapaal.net http://www.tapaal.net/ http://www.cs.aau.dk/en/research/des/ https://dx.doi.org/10.1007/978-3-642-10373-5_36 https://doi.org/10.1007%2F978-3-642-04761-9_7 https://doi.org/10.1007%2F978-3-642-15784-4_6 https://doi.org/10.1007%2F978-3-642-18381-2_4
dbo:wikiPageWikiLink	dbr:Model_checking dbr:Carl_Adam_Petri dbr:Petri_net dbc:Model_checkers dbr:C++ dbr:Open-source_license dbr:Computer_simulation dbr:Computation_tree_logic dbr:English_language dbr:Java_(programming_language) dbr:Linux dbr:Microsoft_Windows dbr:Aalborg_University dbr:Formal_verification dbr:GUI dbr:Mac_OS_X dbr:Uppaal dbr:File:TAPAAL_2.2.1_screenshot.jpg
dbp:developer	dbr:Aalborg_University
dbp:genre	dbr:Model_checking
dbp:language	dbr:English_language
dbp:latestReleaseDate	2023-01-24 (xsd:date)
dbp:latestReleaseVersion	3.900000 (xsd:double)
dbp:license	dbr:Open-source_license
dbp:name	TAPAAL (en)
dbp:operatingSystem	dbr:Linux dbr:Microsoft_Windows dbr:MacOS
dbp:programmingLanguage	C++ and GUI in Java (en)
dbp:website	http://www.tapaal.net
dbp:wikiPageUsesTemplate	dbt:Release_date_and_age dbt:Formalmethods-stub dbt:Infobox_software dbt:Start_date
dct:subject	dbc:Model_checkers
gold:hypernym	dbr:Tool
rdf:type	owl:Thing wikidata:Q386724 wikidata:Q7397 dbo:Work schema:CreativeWork
rdfs:label	TAPAAL Model Checker (en)
owl:sameAs	freebase:TAPAAL Model Checker wikidata:TAPAAL Model Checker dbpedia-global:TAPAAL Model Checker
prov:wasDerivedFrom	wikipedia-en:TAPAAL_Model_Checker?oldid=1137753478&ns=0
foaf:depiction	wiki-commons:Special:FilePath/TAPAAL_2.2.1_screenshot.jpg
foaf:homepage	http://www.tapaal.net http://www.tapaal.net
foaf:isPrimaryTopicOf	wikipedia-en:TAPAAL_Model_Checker
foaf:name	TAPAAL (en)
is dbo:wikiPageRedirects of	dbr:TAPAAL
is dbo:wikiPageWikiLink of	dbr:Model_checking dbr:List_of_model_checking_tools dbr:TAPAAL
is foaf:primaryTopic of	wikipedia-en:TAPAAL_Model_Checker