Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Fides Aarts"'
Generating models of infinite-state communication protocols using regular inference with abstraction
Publikováno v:
Formal Methods in System Design, 46, 1-41
Formal Methods in System Design, 46, 1, pp. 1-41
Formal Methods in System Design, 46, 1, pp. 1-41
In order to facilitate model-based verification and validation, effort is underway to develop techniques for generating models of communication system components from observations of their external behavior. Most previous such work has employed regul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3d67fa98de3b876e03fe58cc20b74cbb
http://hdl.handle.net/2066/134896
http://hdl.handle.net/2066/134896
Publikováno v:
Theoretical Aspects of Computing-ICTAC 2015 ISBN: 9783319251493
ICTAC
ICTAC
We present a new algorithm for active learning of register automata. Our algorithm uses counterexample-guided abstraction refinement to automatically construct a component which maps in a history dependent manner the large set of actions of an implem
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aae4b5578c7b1949132a43477c13d94a
https://doi.org/10.1007/978-3-319-25150-9_11
https://doi.org/10.1007/978-3-319-25150-9_11
Publikováno v:
Machine Learning, 96, 189-224
Machine Learning, 1-2, 96, 189-224
Machine Learning, 96, 1-2, pp. 189-224
Machine Learning, 1-2, 96, 189-224
Machine Learning, 96, 1-2, pp. 189-224
Using a well-known industrial case study from the verification literature, the bounded retransmission protocol, we show how active learning can be used to establish the correctness of protocol implementation I relative to a given reference implementa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b56da9348c41a27c1d2dcb1f88ab2f2d
http://hdl.handle.net/2066/122418
http://hdl.handle.net/2066/122418
Publikováno v:
ICSTW 2013 : IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops : proceedings, pp. 461-468
ICSTW 2013 : IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops : proceedings, 461-468. Los Alamitos : IEEE
STARTPAGE=461;ENDPAGE=468;TITLE=ICSTW 2013 : IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops : proceedings
ICST Workshops
ICSTW 2013 : IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops : proceedings, 461-468. Los Alamitos : IEEE
STARTPAGE=461;ENDPAGE=468;TITLE=ICSTW 2013 : IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops : proceedings
ICST Workshops
Learning techniques allow the automatic inference of the behaviour of a system as a finite state machine. We demonstrate that learning techniques can be used to extract such formal models from software on banking smartcards which - as most bank cards
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bc36cd4125096455271fdd89fd705d3d
https://hdl.handle.net/2066/117003
https://hdl.handle.net/2066/117003