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

DIAL.pr - BOREAL

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

Primary tabs

FASE2.pdf

Dimovski, Aleksandar S.

Legay, Axel [UCL]

Document type	Communication à un colloque (Conference Paper) – Présentation orale avec comité de sélection
Access type	Accès libre
Publication date	2020
Language	Anglais
Peer reviewed	yes
Host document	"Fundamental Approaches to Software Engineering : Lecture Notes in Computer Science"- p. 182-202 (ISBN : 9783030452339)
Collection	Lecture Notes in Computer Science - 12076 (ISSN : 0302-9743)
Publisher	Heike Wehrheim and Jordi Cabot
Publication status	Accepté/Sous presse
Affiliation	UCL - SST/ICTM/INGI - Pôle en ingénierie informatique
Keywords	Program Verification
Links	https://doi.org/10.1007/978-3-030-45234-6_9[DOI] http://hdl.handle.net/2078.1/230826[Handle]

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