Matches in SemOpenAlex for { <https://semopenalex.org/work/W2623081226> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2623081226 abstract "Transition systems has been intensively applied to the modeling of complex systems, for example they have been used for giving semantics to synchronous languages such as Lustre or Signal, or to hybrid automata. Properties of their behavior can be verified using model checking procedures, which rely on an iterative computation of least or greatest fixed points. For instance, safety properties can be proved by a fixed point computation of the set of all the states that can access to the forbidden states and verifying that it does not contain an initial state. This approach has to face two main difficulties : the complexity of the data types domain and the termination of the iterative algorithm. They are solved by approximation heuristics such as abstract interpretations and widening operators. However, in many cases, a sharper analysis of the transition system can be exploited to speed up the calculus. Consequently, we propose an other algorithm to compute this fixed point taking advantage of the decomposition of the relation in an union of simpler relations. If the transition system is deterministic, then our algorithm computes the exact fixed point, otherwise it computes an over approximation. We have implemented this algorithm on top of a linear constraint solver over real number and applied it to the proof of a safety property of a reactive system and we compare with the model checker Hytech." @default.
- W2623081226 created "2017-06-15" @default.
- W2623081226 creator A5010375037 @default.
- W2623081226 creator A5062908053 @default.
- W2623081226 date "2001-03-01" @default.
- W2623081226 modified "2023-09-23" @default.
- W2623081226 title "An effective fixed point calculus for deterministic systems applied to model checking" @default.
- W2623081226 hasPublicationYear "2001" @default.
- W2623081226 type Work @default.
- W2623081226 sameAs 2623081226 @default.
- W2623081226 citedByCount "0" @default.
- W2623081226 crossrefType "proceedings-article" @default.
- W2623081226 hasAuthorship W2623081226A5010375037 @default.
- W2623081226 hasAuthorship W2623081226A5062908053 @default.
- W2623081226 hasConcept C110251889 @default.
- W2623081226 hasConcept C112505250 @default.
- W2623081226 hasConcept C11413529 @default.
- W2623081226 hasConcept C126255220 @default.
- W2623081226 hasConcept C127705205 @default.
- W2623081226 hasConcept C134306372 @default.
- W2623081226 hasConcept C2779167558 @default.
- W2623081226 hasConcept C33923547 @default.
- W2623081226 hasConcept C41008148 @default.
- W2623081226 hasConcept C45374587 @default.
- W2623081226 hasConcept C61445026 @default.
- W2623081226 hasConcept C80444323 @default.
- W2623081226 hasConceptScore W2623081226C110251889 @default.
- W2623081226 hasConceptScore W2623081226C112505250 @default.
- W2623081226 hasConceptScore W2623081226C11413529 @default.
- W2623081226 hasConceptScore W2623081226C126255220 @default.
- W2623081226 hasConceptScore W2623081226C127705205 @default.
- W2623081226 hasConceptScore W2623081226C134306372 @default.
- W2623081226 hasConceptScore W2623081226C2779167558 @default.
- W2623081226 hasConceptScore W2623081226C33923547 @default.
- W2623081226 hasConceptScore W2623081226C41008148 @default.
- W2623081226 hasConceptScore W2623081226C45374587 @default.
- W2623081226 hasConceptScore W2623081226C61445026 @default.
- W2623081226 hasConceptScore W2623081226C80444323 @default.
- W2623081226 hasOpenAccess W2623081226 @default.
- W2623081226 hasRelatedWork W1484571639 @default.
- W2623081226 hasRelatedWork W1504739534 @default.
- W2623081226 hasRelatedWork W1519306152 @default.
- W2623081226 hasRelatedWork W1545603837 @default.
- W2623081226 hasRelatedWork W1570254110 @default.
- W2623081226 hasRelatedWork W1574850141 @default.
- W2623081226 hasRelatedWork W1601287501 @default.
- W2623081226 hasRelatedWork W1813719546 @default.
- W2623081226 hasRelatedWork W1841388400 @default.
- W2623081226 hasRelatedWork W1913196744 @default.
- W2623081226 hasRelatedWork W2003378122 @default.
- W2623081226 hasRelatedWork W2016203775 @default.
- W2623081226 hasRelatedWork W2020617153 @default.
- W2623081226 hasRelatedWork W2112357629 @default.
- W2623081226 hasRelatedWork W2222980726 @default.
- W2623081226 hasRelatedWork W2614480107 @default.
- W2623081226 hasRelatedWork W2757433671 @default.
- W2623081226 hasRelatedWork W2797499459 @default.
- W2623081226 hasRelatedWork W2997159042 @default.
- W2623081226 hasRelatedWork W3183609626 @default.
- W2623081226 isParatext "false" @default.
- W2623081226 isRetracted "false" @default.
- W2623081226 magId "2623081226" @default.
- W2623081226 workType "article" @default.