Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Sengler, Claus"'
Autor:
Koop, Frank, Ullmann, Markus, Wittmann, Stefan, Hutter, Dieter, Langenstein, Bruno, Sengler, Claus, Stephan, Werner, Wolpers, Andreas, Reif, Wolfgang
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3341::98832baac82529f4ece7e62e6410415b
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/60756
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/60756
Autor:
Melis, Erica, Sengler, Claus
The amount of user interaction is the prime cause of costs in interactive program verification. This paper describes an internal analogy technique that reuses subproofs in the verification of state-based specifications. It identifies common patterns
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::49e472f1dccb239e9797a3dabc5ac281
Autor:
Melis, Erica, Sengler, Claus
The amount of user interaction is the prime cause of costs in interactiveprogram verification. This paper describes an internal analogy techniquethat reuses subproofs in the verification of state-based specifications. Itidentifies common patterns of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::638f92208ee6a440205031ed7532f3b4
https://kluedo.ub.uni-kl.de/files/399/seki_71.pdf
https://kluedo.ub.uni-kl.de/files/399/seki_71.pdf
Autor:
Sengler, Claus
In this report we shall present case studies of different data type specifications for natural numbers, for integers, for finite lists, for finite lists with an additional error element, for finite sets, for binary words, for commutative trees, and f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f34bbede0ba297f6c105b706063ffeb9
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.