Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Fabian Vu"'
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
Autor:
Fabian Vu, Michael Leuschel
Publikováno v:
Rigorous State-Based Methods ISBN: 9783031331626
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c4fd18d4a17eb16e8b08ca4bb7d5ac2c
https://doi.org/10.1007/978-3-031-33163-3_5
https://doi.org/10.1007/978-3-031-33163-3_5
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
Publikováno v:
Formal Methods for Industrial Critical Systems ISBN: 9783031150074
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::69bce8354dbacaf4c7760708f0806719
https://doi.org/10.1007/978-3-031-15008-1_4
https://doi.org/10.1007/978-3-031-15008-1_4
Publikováno v:
Rigorous State-Based Methods ISBN: 9783030775421
ABZ
ABZ
The validation of a formal model consists of checking its conformance with actual requirements. In the context of (Event-) B, some temporal aspects can typically be validated by LTL or CTL model checking, while other properties can be validated via i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2fd5103afce43a954f93808978eaee63
https://doi.org/10.1007/978-3-030-77543-8_6
https://doi.org/10.1007/978-3-030-77543-8_6
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
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030349677
IFM
IFM
Within high-level specification languages such as B, code is refined in many steps until a small “implementable” subset of the language is reached. Then, code generators are used, targeting programming languages such as C or Ada.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d8c71d423f3b9bbc8c488950656019cf
https://doi.org/10.1007/978-3-030-34968-4_25
https://doi.org/10.1007/978-3-030-34968-4_25