Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155295909> ?p ?o ?g. }
Showing items 1 to 45 of
45
with 100 items per page.
- W2155295909 endingPage "111" @default.
- W2155295909 startingPage "93" @default.
- W2155295909 abstract "Temporal logic model-checking has received substantial academic interest and has enjoyed wide industrial acceptance. Temporal logics are used to describe the behavior (over time) of systems which continuously interact with their environment. Model-checking algorithms are used to decide if a finite-state system satisfies a temporal logic formula. Many temporal logics, e.g., CTL, LTL, and CTL* can be translated into the Mu-Calculus. In addition, the algorithm that decides the Mu-Calculus is used for symbolic (BDD-based) model-checking, a technique that has greatly extended the applicability of model-checking. In this case study we define a model-checker for the Mu-Calculus in ACL2 and show how to translate CTL into the Mu-Calculus." @default.
- W2155295909 created "2016-06-24" @default.
- W2155295909 creator A5050250788 @default.
- W2155295909 date "2000-01-01" @default.
- W2155295909 modified "2023-09-27" @default.
- W2155295909 title "Mu-Calculus Model-Checking" @default.
- W2155295909 doi "https://doi.org/10.1007/978-1-4757-3188-0_7" @default.
- W2155295909 hasPublicationYear "2000" @default.
- W2155295909 type Work @default.
- W2155295909 sameAs 2155295909 @default.
- W2155295909 citedByCount "7" @default.
- W2155295909 countsByYear W21552959092016 @default.
- W2155295909 crossrefType "book-chapter" @default.
- W2155295909 hasAuthorship W2155295909A5050250788 @default.
- W2155295909 hasConcept C110251889 @default.
- W2155295909 hasConcept C199360897 @default.
- W2155295909 hasConcept C2777686260 @default.
- W2155295909 hasConcept C29694066 @default.
- W2155295909 hasConcept C41008148 @default.
- W2155295909 hasConcept C71924100 @default.
- W2155295909 hasConceptScore W2155295909C110251889 @default.
- W2155295909 hasConceptScore W2155295909C199360897 @default.
- W2155295909 hasConceptScore W2155295909C2777686260 @default.
- W2155295909 hasConceptScore W2155295909C29694066 @default.
- W2155295909 hasConceptScore W2155295909C41008148 @default.
- W2155295909 hasConceptScore W2155295909C71924100 @default.
- W2155295909 hasLocation W21552959091 @default.
- W2155295909 hasOpenAccess W2155295909 @default.
- W2155295909 hasPrimaryLocation W21552959091 @default.
- W2155295909 hasRelatedWork W1557832504 @default.
- W2155295909 hasRelatedWork W1583364777 @default.
- W2155295909 hasRelatedWork W2109507516 @default.
- W2155295909 hasRelatedWork W2135396778 @default.
- W2155295909 hasRelatedWork W2151898527 @default.
- W2155295909 hasRelatedWork W2364866360 @default.
- W2155295909 hasRelatedWork W4243252198 @default.
- W2155295909 hasRelatedWork W47563837 @default.
- W2155295909 hasRelatedWork W1894736207 @default.
- W2155295909 hasRelatedWork W2583261385 @default.
- W2155295909 isParatext "false" @default.
- W2155295909 isRetracted "false" @default.
- W2155295909 magId "2155295909" @default.
- W2155295909 workType "book-chapter" @default.