User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting

  • Open access
  • PDF
  • 618.79 K
Bibliographic reference Dimovski, Aleksandar S. ; Legay, Axel. Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting.In: Fundamental Approaches to Software Engineering : Lecture Notes in Computer Science, Heike Wehrheim and Jordi Cabot2020, p. 182-202
Permanent URL http://hdl.handle.net/2078.1/230826