Verification of the ROS NavFn planner using executable specification languages
Authors:
- Enrique Martin-MartinEMEnrique Martin-Martin
- Manuel MontenegroMMManuel Montenegro
- Adrián RiescoARAdrián Riesco
- Juan Rodríguez-HortaláJRJuan Rodríguez-Hortalá
- Rubén RubioRRRubén Rubio
Open Access
- 14 February 2023
- journal article
- research article
- Published by Elsevier in Journal of Logical and Algebraic Methods in Programming
- Vol. 132
Abstract
No abstract availableKeywords
Funding Information
- Comunidad de Madrid (S2018/TCS-4339)
- Agencia Estatal de Investigación (PID2019-108528RB-C22)
- Ministerio de Economía y Competitividad (CAVI-ART-2)
- Ministerio de Economía y Competitividad (FPU17/02319)
- Ministerio de Economía y Competitividad (TIN2017-86217-R)
- Ministerio de Ciencia, Innovación y Universidades
- European Commission
- Ministerio de Asuntos Económicos y Transformación Digital, Gobierno de España
This publication has 13 references indexed in Scilit:
- A Survey on Metamorphic TestingIEEE Transactions on Software Engineering, 2016
- Frama-C: A software analysis perspectiveFormal Aspects of Computing, 2015
- The Oracle Problem in Software Testing: A SurveyIEEE Transactions on Software Engineering, 2015
- Model checking linear temporal logic of rewriting formulas under localized fairnessScience of Computer Programming, 2015
- An Analysis and Survey of the Development of Mutation TestingIEEE Transactions on Software Engineering, 2010
- Specification and proof in membership equational logicTheoretical Computer Science, 2000
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992
- On Testing Non-Testable ProgramsThe Computer Journal, 1982
- Control flow analysisACM SIGPLAN Notices, 1970
- A Formal Basis for the Heuristic Determination of Minimum Cost PathsIEEE Transactions on Systems Science and Cybernetics, 1968