J. Log. Algebraic Methods Program.

Keyphrases

Publications

volume 137, 2024

Sven Schneider, Maria Maximova, Holger Giese
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic. J. Log. Algebraic Methods Program. 137 (2024)
Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed
Trace preservation in B and Event-B refinements. J. Log. Algebraic Methods Program. 137 (2024)
Saddek Bensalem, Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Changshun Wu, Xingyu Zhao
Bridging formal methods and machine learning with model checking and global optimisation. J. Log. Algebraic Methods Program. 137 (2024)
Kangfeng Ye, Simon Foster, Jim Woodcock
Formally verified animation for RoboChart using interaction trees. J. Log. Algebraic Methods Program. 137 (2024)
Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian
On proving that an unsafe controller is not proven safe. J. Log. Algebraic Methods Program. 137 (2024)
Chad Nester, Niels F. W. Voorneveld
Protocol choice and iteration for the free cornering. J. Log. Algebraic Methods Program. 137 (2024)
Valentina Castiglioni, Ruggero Lanotte, Simone Tini
Back to the format: A survey on SOS for probabilistic processes. J. Log. Algebraic Methods Program. 137 (2024)

volume 136, 2024

volume 135, 2023

volume 134, 2023

volume 133, 2023

volume 132, 2023