ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods

被引：3
|
作者：
Gelessus, David [1 ]
Leuschel, Michael [1 ]
机构：
[1] Univ Dusseldorf, Inst Informat, Univ Str 1, D-40225 Dusseldorf, Germany
来源：
RIGOROUS STATE-BASED METHODS, ABZ 2020 | 2020年 / 12071卷
关键词：
D O I：
10.1007/978-3-030-48077-6_19
中图分类号：
学科分类号：
摘要：
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 but also teaching of formal methods, logic, set theory and theoretical computer science. In addition to B and Event-B, the tool supports Z, TLA(+) and Alloy.
引用
收藏
页码：248 / 254
页数：7
相关论文
共 48 条
  • [1] Theoretical computer science - Logic, semantics and theory of programming
    Cerone, A
    Di Pierro, A
    [J]. THEORETICAL COMPUTER SCIENCE, 2005, 346 (01) : 1 - 2
  • [2] Computer Science as Immaterial Formal Logic
    Selmer Bringsjord
    [J]. Philosophy & Technology, 2020, 33 (2) : 339 - 347
  • [3] Theoretical Computer Science Logic, semantics and theory of programming Preface
    Bethke, Inge
    Ponse, Alban
    Rodenburg, Piet H.
    [J]. THEORETICAL COMPUTER SCIENCE, 2011, 412 (28) : 3033 - 3034
  • [4] Theoretical computer science - Logic, semantics and theory of programming - Preface
    Berger, U
    Niggl, KH
    Reus, B
    [J]. THEORETICAL COMPUTER SCIENCE, 2001, 264 (02) : 169 - 169
  • [5] Quantum field theory and coalgebraic logic in theoretical computer science
    Basti, Gianfranco
    Capolupo, Antonio
    Vitiello, Giuseppe
    [J]. PROGRESS IN BIOPHYSICS & MOLECULAR BIOLOGY, 2017, 130 : 39 - 52
  • [6] From logic to theoretical computer science - An update
    Trakhtenbrot, Boris A.
    [J]. PILLARS OF COMPUTER SCIENCE, 2008, 4800 : 1 - 38
  • [7] On Formal Methods Thinking in Computer Science Education
    Dongol, Brijesh
    Dubois, Catherine
    Hallerstede, Stefan
    Hehner, Eric
    Morgan, Carroll
    Müller, Peter
    Ribeiro, Leila
    Silva, Alexandra
    Smith, Graeme
    Vink, Erik De
    [J]. Formal Aspects of Computing, 2024, 37 (01)
  • [8] The Role of Formal Methods in Computer Science Education
    ter Beek, Maurice H.
    Broy, Manfred
    Dongol, Brijesh
    [J]. ACM Inroads, 2024, 15 (04) : 58 - 66
  • [9] Theoretical Computer Science -: Automata and Formal Languages -: Preface
    Esik, Zoltan
    [J]. THEORETICAL COMPUTER SCIENCE, 2006, 366 (03) : 181 - 181
  • [10] Operational methods in theoretical computer science
    Priami, C
    [J]. ACM COMPUTING SURVEYS, 1999, 31 : K1 - K5
12345