×

Found 9 Documents (Results 1–9)

A formally verified floating-point implementation of the compact position reporting algorithm. (English) Zbl 1460.68128

Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 364-381 (2018).
PDFBibTeX XMLCite
Full Text: DOI Link

Affine arithmetic and applications to real-number proving. (English) Zbl 1465.65042

Urban, Christian (ed.) et al., Interactive theorem proving. 6th international conference, ITP 2015, Nanjing, China, August 24–27, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9236, 294-309 (2015).
MSC:  65G30 65G20 68V20
PDFBibTeX XMLCite
Full Text: DOI

Simulation and verification of synchronous set relations in rewriting logic. (English) Zbl 1349.68105

Simao, Adenilso (ed.) et al., Formal methods, foundations and applications. 14th Brazilian symposium, SBMF 2011, São Paulo, Brazil, September 26–30, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25031-6/pbk). Lecture Notes in Computer Science 7021, 60-75 (2011).
MSC:  68Q42 03B70 68Q60
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software