@inproceedings{3a16d3e3eaff4b42bb26a36c1a180dbd,
title = "A tool for verifying dynamic properties in B",
abstract = "This paper presents a tool for verifying dynamic properties using the B formal method. For example, in a library system, typical dynamic properties would be that a member has a possibility to borrow a book or make a reservation if it is already reserved by another member. Starting from a B specification and a dynamic property, this tool generates the proof obligations that permit the user to check whether the property is verified on the B specification. The goal of such a tool is to discharge the users from tedious and error-prone activities.",
author = "Fama Diagne and Amel Mammar and Marc Frappier",
year = "2014",
month = jan,
day = "1",
doi = "10.1007/978-3-319-10431-7\_23",
language = "English",
isbn = "9783319104300",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "290--295",
booktitle = "Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Proceedings",
note = "12th International Conference on Software Engineering and Formal Methods, SEFM 2014 ; Conference date: 01-09-2014 Through 05-09-2014",
}