The Probabilistic Termination Tool Amber

Moosbrugger, Marcel (Corresponding author); Bartocci, Ezio; Katoen, Joost-Pieter; Kovács, Laura

Cham : Springer (2021)
Contribution to a book, Contribution to a conference proceedings

In: Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, proceedings / Marieke Huisman, Corina Păsăreanu, Naijun Zhan (eds.)
Page(s)/Article-Nr.: 667-675

Institutions

  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]

Identifier