Matches in SemOpenAlex for { <https://semopenalex.org/work/W2788342898> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2788342898 abstract "Uppaal is a tool suite for automatic verification of safety and<br />bounded liveness properties of real-time systems modeled as networks of<br />timed automata. It includes: a graphical interface that supports graphical<br />and textual representations of networks of timed automata, and automatic<br />transformation from graphical representations to textual format,<br />a compiler that transforms a certain class of linear hybrid systems to<br />networks of timed automata, and a model-checker which is implemented<br />based on constraint-solving techniques. Uppaal also supports diagnostic<br />model-checking providing diagnostic information in case verification of a<br />particular real-time systems fails.<br />The current version of Uppaal is available on the World Wide Web via<br />the Uppaal home page http://www.docs.uu.se/docs/rtmv/uppaal." @default.
- W2788342898 created "2018-03-06" @default.
- W2788342898 creator A5008810836 @default.
- W2788342898 creator A5029016948 @default.
- W2788342898 creator A5069362159 @default.
- W2788342898 creator A5073142503 @default.
- W2788342898 creator A5079870005 @default.
- W2788342898 date "1996-06-28" @default.
- W2788342898 modified "2023-09-25" @default.
- W2788342898 title "UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems" @default.
- W2788342898 doi "https://doi.org/10.7146/brics.v3i58.18769" @default.
- W2788342898 hasPublicationYear "1996" @default.
- W2788342898 type Work @default.
- W2788342898 sameAs 2788342898 @default.
- W2788342898 citedByCount "26" @default.
- W2788342898 countsByYear W27883428982012 @default.
- W2788342898 countsByYear W27883428982013 @default.
- W2788342898 countsByYear W27883428982015 @default.
- W2788342898 countsByYear W27883428982016 @default.
- W2788342898 crossrefType "journal-article" @default.
- W2788342898 hasAuthorship W2788342898A5008810836 @default.
- W2788342898 hasAuthorship W2788342898A5029016948 @default.
- W2788342898 hasAuthorship W2788342898A5069362159 @default.
- W2788342898 hasAuthorship W2788342898A5073142503 @default.
- W2788342898 hasAuthorship W2788342898A5079870005 @default.
- W2788342898 hasBestOaLocation W27883428981 @default.
- W2788342898 hasConcept C110251889 @default.
- W2788342898 hasConcept C112505250 @default.
- W2788342898 hasConcept C134306372 @default.
- W2788342898 hasConcept C15569618 @default.
- W2788342898 hasConcept C166957645 @default.
- W2788342898 hasConcept C169590947 @default.
- W2788342898 hasConcept C199360897 @default.
- W2788342898 hasConcept C33923547 @default.
- W2788342898 hasConcept C34388435 @default.
- W2788342898 hasConcept C41008148 @default.
- W2788342898 hasConcept C79581498 @default.
- W2788342898 hasConcept C80444323 @default.
- W2788342898 hasConcept C95457728 @default.
- W2788342898 hasConceptScore W2788342898C110251889 @default.
- W2788342898 hasConceptScore W2788342898C112505250 @default.
- W2788342898 hasConceptScore W2788342898C134306372 @default.
- W2788342898 hasConceptScore W2788342898C15569618 @default.
- W2788342898 hasConceptScore W2788342898C166957645 @default.
- W2788342898 hasConceptScore W2788342898C169590947 @default.
- W2788342898 hasConceptScore W2788342898C199360897 @default.
- W2788342898 hasConceptScore W2788342898C33923547 @default.
- W2788342898 hasConceptScore W2788342898C34388435 @default.
- W2788342898 hasConceptScore W2788342898C41008148 @default.
- W2788342898 hasConceptScore W2788342898C79581498 @default.
- W2788342898 hasConceptScore W2788342898C80444323 @default.
- W2788342898 hasConceptScore W2788342898C95457728 @default.
- W2788342898 hasIssue "58" @default.
- W2788342898 hasLocation W27883428981 @default.
- W2788342898 hasOpenAccess W2788342898 @default.
- W2788342898 hasPrimaryLocation W27883428981 @default.
- W2788342898 hasRelatedWork W1482233117 @default.
- W2788342898 hasRelatedWork W1501731334 @default.
- W2788342898 hasRelatedWork W1535937574 @default.
- W2788342898 hasRelatedWork W1874725288 @default.
- W2788342898 hasRelatedWork W1874996599 @default.
- W2788342898 hasRelatedWork W1962072139 @default.
- W2788342898 hasRelatedWork W1981808971 @default.
- W2788342898 hasRelatedWork W2000947342 @default.
- W2788342898 hasRelatedWork W2008379855 @default.
- W2788342898 hasRelatedWork W2023499821 @default.
- W2788342898 hasRelatedWork W2080267935 @default.
- W2788342898 hasRelatedWork W2101508170 @default.
- W2788342898 hasRelatedWork W2142718416 @default.
- W2788342898 hasRelatedWork W2145594292 @default.
- W2788342898 hasRelatedWork W2153439859 @default.
- W2788342898 hasRelatedWork W2160883697 @default.
- W2788342898 hasRelatedWork W2167668895 @default.
- W2788342898 hasRelatedWork W2913459036 @default.
- W2788342898 hasRelatedWork W3144368627 @default.
- W2788342898 hasRelatedWork W59365162 @default.
- W2788342898 hasVolume "3" @default.
- W2788342898 isParatext "false" @default.
- W2788342898 isRetracted "false" @default.
- W2788342898 magId "2788342898" @default.
- W2788342898 workType "article" @default.