Verification of the ROS NavFn planner using executable specification languages (Q2693303)

From MaRDI portal
Revision as of 18:41, 31 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Verification of the ROS NavFn planner using executable specification languages
scientific article

    Statements

    title
    Verification of the ROS NavFn planner using executable specification languages (English)
    0 references
    author
    Enrique Martin-Martin
    0 references
    Manuel Montenegro
    0 references
    Adrián Riesco
    0 references
    Rubén Rubio
    0 references
    publication date
    20 March 2023
    0 references
    zbMATH DE Number
    7665444
    0 references
    zbMATH Keywords
    formal verification
    0 references
    model checking
    0 references
    ROS
    0 references
    Maude
    0 references
    navigation
    0 references
    Dafny
    0 references
    describes a project that uses
    Coq
    0 references
    ROSMonitoring
    0 references
    Marathon 2
    0 references
    ROS
    0 references
    KeY-C
    0 references
    Lean
    0 references
    DeepXplore
    0 references
    CRADLE
    0 references
    Isabelle/HOL
    0 references
    Maude
    0 references
    ITP
    0 references
    Dafny
    0 references
    Frama-C
    0 references
    OpenAlex ID
    W4320712511
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2693303&oldid=37500456"
    Powered by MediaWiki