Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/TAPAAL_Model_Checker> ?p ?o }
Showing triples 1 to 76 of
76
with 100 triples per page.
- TAPAAL_Model_Checker abstract "TAPAAL is a tool for modelling, simulation and verification of Timed-Arc Petri nets developed at Department of Computer Science at Aalborg University in Denmark and it is available for Linux, Windows and Mac OS X platforms. Timed-Arc Petri Net (TAPN) is a time extension of the classical Petri net model (a commonly used graphical model of distributed computations introduced by Carl Adam Petri in his disseration in 1962). The time extension considered in TAPN allows for explicit treatment of real-time, which is associated with the tokens in the net (each tokens has its own age) and arcs from places to transitions are labelled by time intervals that restrict the age of tokens that can be used in order to fire the respective transition. In TAPAAL tool a further extension of this model with age invariants with transport arcs (which are more expressive than for example previously considered read-arcs) and with inhibitor arcs is implemented.The TAPAAL tool offers a graphical editor for drawing TAPN models, simulator for experimenting with the designed nets and a verification environment that automatically answers logical queries formulated in a subset of CTL logic (essentially EF, EG, AF, AG formulae without nesting). It also allows the user to check whether a given net is k-bounded for a given number k. TAPAAL is equipped with its own verification engines distributed together with TAPAAL (one for continuous time and one for discrete time ). Optionally, the user can automatically translate TAPAAL models into UPPAAL and rely on the UPPAAL verification engine.".
- TAPAAL_Model_Checker developer Aalborg_University.
- TAPAAL_Model_Checker genre Model_checking.
- TAPAAL_Model_Checker language English_language.
- TAPAAL_Model_Checker latestReleaseVersion "3.1.3".
- TAPAAL_Model_Checker license Open_source.
- TAPAAL_Model_Checker operatingSystem Linux.
- TAPAAL_Model_Checker operatingSystem Microsoft_Windows.
- TAPAAL_Model_Checker operatingSystem OS_X.
- TAPAAL_Model_Checker thumbnail TAPAAL_2.2.1_screenshot.jpg?width=300.
- TAPAAL_Model_Checker wikiPageExternalLink 978-3-642-10373-5_36.
- TAPAAL_Model_Checker wikiPageExternalLink des.
- TAPAAL_Model_Checker wikiPageExternalLink 6675215006510137.
- TAPAAL_Model_Checker wikiPageExternalLink ek83j00501734324.
- TAPAAL_Model_Checker wikiPageExternalLink xr33g66627h03110.
- TAPAAL_Model_Checker wikiPageExternalLink www.tapaal.net.
- TAPAAL_Model_Checker wikiPageExternalLink www.tapaal.net.
- TAPAAL_Model_Checker wikiPageID "34662092".
- TAPAAL_Model_Checker wikiPageLength "4368".
- TAPAAL_Model_Checker wikiPageOutDegree "21".
- TAPAAL_Model_Checker wikiPageRevisionID "640970627".
- TAPAAL_Model_Checker wikiPageWikiLink Aalborg_University.
- TAPAAL_Model_Checker wikiPageWikiLink C++.
- TAPAAL_Model_Checker wikiPageWikiLink Carl_Adam_Petri.
- TAPAAL_Model_Checker wikiPageWikiLink Category:Model_checkers.
- TAPAAL_Model_Checker wikiPageWikiLink Computation_tree_logic.
- TAPAAL_Model_Checker wikiPageWikiLink Computer_simulation.
- TAPAAL_Model_Checker wikiPageWikiLink English_language.
- TAPAAL_Model_Checker wikiPageWikiLink Formal_verification.
- TAPAAL_Model_Checker wikiPageWikiLink Graphical_user_interface.
- TAPAAL_Model_Checker wikiPageWikiLink Java_(programming_language).
- TAPAAL_Model_Checker wikiPageWikiLink Linux.
- TAPAAL_Model_Checker wikiPageWikiLink Microsoft_Windows.
- TAPAAL_Model_Checker wikiPageWikiLink Model_checking.
- TAPAAL_Model_Checker wikiPageWikiLink OS_X.
- TAPAAL_Model_Checker wikiPageWikiLink Open_source.
- TAPAAL_Model_Checker wikiPageWikiLink Petri_net.
- TAPAAL_Model_Checker wikiPageWikiLink Uppaal_Model_Checker.
- TAPAAL_Model_Checker wikiPageWikiLink File:TAPAAL_2.2.1_screenshot.jpg.
- TAPAAL_Model_Checker wikiPageWikiLinkText "TAPAAL Model Checker".
- TAPAAL_Model_Checker wikiPageWikiLinkText "TAPAAL".
- TAPAAL_Model_Checker developer Aalborg_University.
- TAPAAL_Model_Checker genre Model_checking.
- TAPAAL_Model_Checker language English_language.
- TAPAAL_Model_Checker latestReleaseVersion "3.1".
- TAPAAL_Model_Checker license Open_source.
- TAPAAL_Model_Checker name "TAPAAL".
- TAPAAL_Model_Checker operatingSystem Linux.
- TAPAAL_Model_Checker operatingSystem Microsoft_Windows.
- TAPAAL_Model_Checker operatingSystem OS_X.
- TAPAAL_Model_Checker programmingLanguage "C++ and GUI in Java".
- TAPAAL_Model_Checker website www.tapaal.net.
- TAPAAL_Model_Checker wikiPageUsesTemplate Template:Formalmethods-stub.
- TAPAAL_Model_Checker wikiPageUsesTemplate Template:Infobox_software.
- TAPAAL_Model_Checker wikiPageUsesTemplate Template:Release_date_and_age.
- TAPAAL_Model_Checker wikiPageUsesTemplate Template:Start_date.
- TAPAAL_Model_Checker subject Category:Model_checkers.
- TAPAAL_Model_Checker hypernym Tool.
- TAPAAL_Model_Checker type Software.
- TAPAAL_Model_Checker type Work.
- TAPAAL_Model_Checker type Method.
- TAPAAL_Model_Checker type Tool.
- TAPAAL_Model_Checker type CreativeWork.
- TAPAAL_Model_Checker type Thing.
- TAPAAL_Model_Checker type Q386724.
- TAPAAL_Model_Checker type Q7397.
- TAPAAL_Model_Checker comment "TAPAAL is a tool for modelling, simulation and verification of Timed-Arc Petri nets developed at Department of Computer Science at Aalborg University in Denmark and it is available for Linux, Windows and Mac OS X platforms. Timed-Arc Petri Net (TAPN) is a time extension of the classical Petri net model (a commonly used graphical model of distributed computations introduced by Carl Adam Petri in his disseration in 1962).".
- TAPAAL_Model_Checker label "TAPAAL Model Checker".
- TAPAAL_Model_Checker sameAs Q7669325.
- TAPAAL_Model_Checker sameAs m.0j240d3.
- TAPAAL_Model_Checker sameAs Q7669325.
- TAPAAL_Model_Checker wasDerivedFrom TAPAAL_Model_Checker?oldid=640970627.
- TAPAAL_Model_Checker depiction TAPAAL_2.2.1_screenshot.jpg.
- TAPAAL_Model_Checker homepage www.tapaal.net.
- TAPAAL_Model_Checker isPrimaryTopicOf TAPAAL_Model_Checker.
- TAPAAL_Model_Checker name "TAPAAL".