Zobrazeno 1 - 10
of 129
pro vyhledávání: '"Sharygina, Natasha"'
Publikováno v:
EPTCS 168, 2014, pp. 1-11
Monotonic abstraction is a technique introduced in model checking parameterized distributed systems in order to cope with transitions containing global conditions within guards. The technique has been re-interpreted in a declarative setting in previo
Externí odkaz:
http://arxiv.org/abs/1411.3790
Abstraction (in its various forms) is a powerful established technique in model-checking; still, when unbounded data-structures are concerned, it cannot always cope with divergence phenomena in a satisfactory way. Acceleration is an approach which is
Externí odkaz:
http://arxiv.org/abs/1304.4499
Craig interpolation is a widespread method in verification, with important applications such as Predicate Abstraction, CounterExample Guided Abstraction Refinement and Lazy Abstraction With Interpolants. Most state-of-the-art model checking technique
Externí odkaz:
http://arxiv.org/abs/1212.4650
Autor:
Sankaranarayanan, Sriram, Sharygina, Natasha
This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice o
Externí odkaz:
https://library.oapen.org/handle/20.500.12657/63014
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Hartmanns, Arnd, Junges, Sebastian, Quatmann, Tim, Weininger, Maximilian, Sankaranarayanan, Sriram, Sharygina, Natasha
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I, 13993, 469-488
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308222
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308222
Model checking undiscounted reachability and expected-reward properties on Markov decision processes (MDPs) is key for the verification of systems that act under uncertainty. Popular algorithms are policy iteration and variants of value iteration; in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4aea299a29bac9dad0cf877cabeb30fa
https://doi.org/10.1007/978-3-031-30823-9_24
https://doi.org/10.1007/978-3-031-30823-9_24
The use of propositional logic and systems of linear inequalities over reals is a common means to model software for formal verification. Craig interpolants constitute a central building block in this setting for over-approximating reachable states,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______805::8b4845b7822db10250e8a838c961e4c5
http://doc.rero.ch/record/333686/files/Blicha_ijsttt_2021.pdf
http://doc.rero.ch/record/333686/files/Blicha_ijsttt_2021.pdf
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Theoretical Computer Science 2007 388(1):227-242
