681 citations
- ITMO UniversityRU2 papers
- Politecnico di MilanoIT2 papers
- A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences1 paper
- Beijing Institute of TechnologyCN1 paper
- Boston UniversityUS1 paper
- Brandenburg University of Technology Cottbus-SenftenbergDE1 paper
- Cardiff UniversityGB1 paper
- Centre Inria de l'Université de LorraineFR1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Chinese Academy of SciencesCN1 paper
- Computer Algorithms for MedicineAT1 paper
- DELL (United States)US1 paper
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2018★ 2 cited
Towards platform-independent verification of the standard mathematical functions: the square root function
Nikolay V. Shilov, Igor S. Anureev, Mikhail Berdyshev +2
The paper presents (human-oriented) specification and (pen-and-paper) verification of the square root function. The function implements Newton method and uses a look-up table for i…
cs.LO2014
Proceedings First Workshop on Logics and Model-checking for Self-* Systems
Marcello Maria Bersani, Davide Bresolin, Luca Ferrucci +1
This volume contains the proceedings of the First Workshop on Logics and Model-checking for self-* systems (MOD* 2014). The worshop took place in Bertinoro, Italy, on 12th of Septe…