Zobrazeno 1 - 5
of 5
pro vyhledávání: '"DAVID GELEßUS"'
Autor:
DAVID GELEßUS, MICHAEL LEUSCHEL
Publikováno v:
Theory and Practice of Logic Programming. 22:755-769
Even though the core of the Prolog programming language has been standardized by ISO since 1995, it remains difficult to write complex Prolog programs that can run unmodified on multiple Prolog implementations. Indeed, implementations sometimes devia
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8380e2d6c86636e5019da6c53fe1d16f
https://doi.org/10.1017/s1471068422000230
https://doi.org/10.1017/s1471068422000230
Publikováno v:
Rigorous State-Based Methods ISBN: 9783031331626
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ff2c0f2a1db5560863fc93734b9fa546
https://doi.org/10.1007/978-3-031-33163-3_22
https://doi.org/10.1007/978-3-031-33163-3_22
Publikováno v:
Rigorous State-Based Methods ISBN: 9783031331626
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9f06cc548ebcdd68404563d117a62245
https://doi.org/10.1007/978-3-031-33163-3_12
https://doi.org/10.1007/978-3-031-33163-3_12
Autor:
Antonia Pütz, Michelle Werth, Jens Bendisposto, Yumiko Jansing, David Geleßus, Michael Leuschel, Fabian Vu
Publikováno v:
Formal Methods for Industrial Critical Systems ISBN: 9783030852474
FMICS
FMICS
ProB2-UI is a modern JavaFX-based user interface for the animator, constraint solver, and model checker ProB. We present the main features of the tool, especially compared to ProB’s previous user interfaces and other available tools for B, Event-B,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::672436a43d36ea6d8adcc8bcc45f5b77
https://doi.org/10.1007/978-3-030-85248-1_12
https://doi.org/10.1007/978-3-030-85248-1_12
Autor:
Michael Leuschel, David Geleßus
Publikováno v:
Rigorous State-Based Methods ISBN: 9783030480769
ABZ
ABZ
We present a tool for using the B language in computational notebooks, based on the Jupyter Notebook interface and the ProB tool. Applications of B notebooks include executable documentation of formal models, interactive manuals, validation reports b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7e8dc6400d61951aad9550849b620fee
https://doi.org/10.1007/978-3-030-48077-6_19
https://doi.org/10.1007/978-3-030-48077-6_19