Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/PAT_(model_checker)> ?p ?o }
Showing triples 1 to 82 of
82
with 100 triples per page.
- PAT_(model_checker) abstract "PAT (Process Analysis Toolkit) is a self-contained framework for composing, simulating and reasoning of concurrent, real-time systems and other possible domains. It comes with user friendly interfaces, featured model editor and animated simulator. Most importantly, PAT implements various model checking techniques catering for different properties such as deadlock-freeness, divergence-freeness, reachability, LTL properties with fairness assumptions, refinement checking and probabilistic model checking. To achieve good performance, advanced optimization techniques are implemented in PAT, e.g. partial order reduction, symmetry reduction, process counter abstraction. So far, PAT has 1350 registered users from 302 organizations in 41 countries and regions.".
- PAT_(model_checker) computingPlatform .NET_Framework.
- PAT_(model_checker) developer National_University_of_Singapore.
- PAT_(model_checker) genre Model_checking.
- PAT_(model_checker) language English_language.
- PAT_(model_checker) language German_language.
- PAT_(model_checker) language Japanese_language.
- PAT_(model_checker) language Simplified_Chinese_characters.
- PAT_(model_checker) language Traditional_Chinese_characters.
- PAT_(model_checker) language Vietnamese_language.
- PAT_(model_checker) latestReleaseVersion "3.5.1".
- PAT_(model_checker) operatingSystem Linux.
- PAT_(model_checker) operatingSystem Microsoft_Windows.
- PAT_(model_checker) operatingSystem OS_X.
- PAT_(model_checker) operatingSystem Unix.
- PAT_(model_checker) wikiPageExternalLink symmetry.htm.
- PAT_(model_checker) wikiPageExternalLink patroot.forummotion.com.
- PAT_(model_checker) wikiPageExternalLink www.patroot.com.
- PAT_(model_checker) wikiPageExternalLink www.patroot.com.
- PAT_(model_checker) wikiPageID "30827415".
- PAT_(model_checker) wikiPageLength "2812".
- PAT_(model_checker) wikiPageOutDegree "22".
- PAT_(model_checker) wikiPageRevisionID "594627984".
- PAT_(model_checker) wikiPageWikiLink .NET_Framework.
- PAT_(model_checker) wikiPageWikiLink C_Sharp_(programming_language).
- PAT_(model_checker) wikiPageWikiLink Category:Model_checkers.
- PAT_(model_checker) wikiPageWikiLink Deadlock.
- PAT_(model_checker) wikiPageWikiLink Divergence_(computer_science).
- PAT_(model_checker) wikiPageWikiLink English_language.
- PAT_(model_checker) wikiPageWikiLink Fairness_assumption.
- PAT_(model_checker) wikiPageWikiLink German_language.
- PAT_(model_checker) wikiPageWikiLink Japanese_language.
- PAT_(model_checker) wikiPageWikiLink Linear_temporal_logic.
- PAT_(model_checker) wikiPageWikiLink Linux.
- PAT_(model_checker) wikiPageWikiLink Microsoft_Windows.
- PAT_(model_checker) wikiPageWikiLink Model_checking.
- PAT_(model_checker) wikiPageWikiLink Mono_(software).
- PAT_(model_checker) wikiPageWikiLink National_University_of_Singapore.
- PAT_(model_checker) wikiPageWikiLink OS_X.
- PAT_(model_checker) wikiPageWikiLink Partial_order_reduction.
- PAT_(model_checker) wikiPageWikiLink Simplified_Chinese_characters.
- PAT_(model_checker) wikiPageWikiLink Traditional_Chinese_characters.
- PAT_(model_checker) wikiPageWikiLink Unix.
- PAT_(model_checker) wikiPageWikiLink Vietnamese_language.
- PAT_(model_checker) wikiPageWikiLinkText "PAT (model checker)".
- PAT_(model_checker) wikiPageWikiLinkText "PAT".
- PAT_(model_checker) developer National_University_of_Singapore.
- PAT_(model_checker) genre Model_checking.
- PAT_(model_checker) language English_language.
- PAT_(model_checker) language German_language.
- PAT_(model_checker) language Japanese_language.
- PAT_(model_checker) language Simplified_Chinese_characters.
- PAT_(model_checker) language Traditional_Chinese_characters.
- PAT_(model_checker) language Vietnamese_language.
- PAT_(model_checker) latestReleaseVersion "3.5".
- PAT_(model_checker) name "PAT".
- PAT_(model_checker) operatingSystem "Microsoft Windows; Linux, Unix, Mac OS X with Mono".
- PAT_(model_checker) platform .NET_Framework.
- PAT_(model_checker) programmingLanguage C_Sharp_(programming_language).
- PAT_(model_checker) website www.patroot.com.
- PAT_(model_checker) wikiPageUsesTemplate Template:Infobox_software.
- PAT_(model_checker) wikiPageUsesTemplate Template:Reflist.
- PAT_(model_checker) wikiPageUsesTemplate Template:Release_date_and_age.
- PAT_(model_checker) wikiPageUsesTemplate Template:Start_date.
- PAT_(model_checker) subject Category:Model_checkers.
- PAT_(model_checker) hypernym Framework.
- PAT_(model_checker) type Software.
- PAT_(model_checker) type Work.
- PAT_(model_checker) type Tool.
- PAT_(model_checker) type CreativeWork.
- PAT_(model_checker) type Thing.
- PAT_(model_checker) type Q386724.
- PAT_(model_checker) type Q7397.
- PAT_(model_checker) comment "PAT (Process Analysis Toolkit) is a self-contained framework for composing, simulating and reasoning of concurrent, real-time systems and other possible domains. It comes with user friendly interfaces, featured model editor and animated simulator.".
- PAT_(model_checker) label "PAT (model checker)".
- PAT_(model_checker) sameAs Q7118286.
- PAT_(model_checker) sameAs m.0gfjcby.
- PAT_(model_checker) sameAs Q7118286.
- PAT_(model_checker) wasDerivedFrom PAT_(model_checker)?oldid=594627984.
- PAT_(model_checker) homepage www.patroot.com.
- PAT_(model_checker) isPrimaryTopicOf PAT_(model_checker).
- PAT_(model_checker) name "PAT".