@article{burdy_b_2012,
	title = {The {B} method takes up floating-point numbers},
	url = {https://core.ac.uk/display/226791710?recSetID=},
	abstract = {International audienceFor a long time, formal methods have ignored floating-point computations. About ten years ago this has changed, and today specification languages and tools are in use in research and pre-industrial contexts. Better late than never: the B method, which has been the first formal method to prove real-size software, will soon be able to prove the correctness of floating-point computations. This paper gives the motivations, the philosophy and the first impacts on the AtelierB tool},
	language = {en-gb},
	urldate = {2021-01-27},
	author = {Burdy, Lilian and Dufour, Jean-Louis and Lecomte, Thierry},
	year = {2012},
	keywords = {⛔ No DOI found},
}

{"_id":"Gi2nyw3EpzGmXdmko","bibbaseid":"burdy-dufour-lecomte-thebmethodtakesupfloatingpointnumbers-2012","author_short":["Burdy, L.","Dufour, J.","Lecomte, T."],"bibdata":{"bibtype":"article","type":"article","title":"The B method takes up floating-point numbers","url":"https://core.ac.uk/display/226791710?recSetID=","abstract":"International audienceFor a long time, formal methods have ignored floating-point computations. About ten years ago this has changed, and today specification languages and tools are in use in research and pre-industrial contexts. Better late than never: the B method, which has been the first formal method to prove real-size software, will soon be able to prove the correctness of floating-point computations. This paper gives the motivations, the philosophy and the first impacts on the AtelierB tool","language":"en-gb","urldate":"2021-01-27","author":[{"propositions":[],"lastnames":["Burdy"],"firstnames":["Lilian"],"suffixes":[]},{"propositions":[],"lastnames":["Dufour"],"firstnames":["Jean-Louis"],"suffixes":[]},{"propositions":[],"lastnames":["Lecomte"],"firstnames":["Thierry"],"suffixes":[]}],"year":"2012","keywords":"⛔ No DOI found","bibtex":"@article{burdy_b_2012,\n\ttitle = {The {B} method takes up floating-point numbers},\n\turl = {https://core.ac.uk/display/226791710?recSetID=},\n\tabstract = {International audienceFor a long time, formal methods have ignored floating-point computations. About ten years ago this has changed, and today specification languages and tools are in use in research and pre-industrial contexts. Better late than never: the B method, which has been the first formal method to prove real-size software, will soon be able to prove the correctness of floating-point computations. This paper gives the motivations, the philosophy and the first impacts on the AtelierB tool},\n\tlanguage = {en-gb},\n\turldate = {2021-01-27},\n\tauthor = {Burdy, Lilian and Dufour, Jean-Louis and Lecomte, Thierry},\n\tyear = {2012},\n\tkeywords = {⛔ No DOI found},\n}\n\n","author_short":["Burdy, L.","Dufour, J.","Lecomte, T."],"key":"burdy_b_2012","id":"burdy_b_2012","bibbaseid":"burdy-dufour-lecomte-thebmethodtakesupfloatingpointnumbers-2012","role":"author","urls":{"Paper":"https://core.ac.uk/display/226791710?recSetID="},"keyword":["⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["⛔ no doi found"],"search_terms":["method","takes","floating","point","numbers","burdy","dufour","lecomte"],"title":"The B method takes up floating-point numbers","year":2012}