Verifying Whiley programs with Boogie (Q2102933)

From MaRDI portal
Revision as of 23:30, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Verifying Whiley programs with Boogie
scientific article

    Statements

    title
    Verifying Whiley programs with Boogie (English)
    0 references
    author
    David J. Pearce
    0 references
    Mark Utting
    0 references
    Lindsay Groves
    0 references
    publication date
    12 December 2022
    0 references
    zbMATH DE Number
    7632091
    0 references
    zbMATH Keywords
    Whiley
    0 references
    Boogie
    0 references
    verifying compiler
    0 references
    intermediate verification language
    0 references
    semantic translation
    0 references
    impedance mismatch
    0 references
    flow typing
    0 references
    verification conditions
    0 references
    describes a project that uses
    Whiley
    0 references
    Nagini
    0 references
    z3
    0 references
    Crust
    0 references
    RustHorn
    0 references
    Frama-C
    0 references
    Toolchain
    0 references
    CBMC
    0 references
    cvc3
    0 references
    Caduceus
    0 references
    JMLAutoTest
    0 references
    Spec#
    0 references
    VerCors
    0 references
    Eiffel
    0 references
    Jahob
    0 references
    ACSL
    0 references
    Viper
    0 references
    Alt-Ergo
    0 references
    Boogie
    0 references
    KeY
    0 references
    OpenJML
    0 references
    AutoProof
    0 references
    WhyML
    0 references
    SMACK
    0 references
    GPUVerify
    0 references
    VeriFast
    0 references
    Chalice
    0 references
    VAMPIRE
    0 references
    JML
    0 references
    Scala
    0 references
    JUnit
    0 references
    BVD
    0 references
    ESC/Java
    0 references
    VCC
    0 references
    Coq
    0 references
    Whiteoak
    0 references
    Why3
    0 references
    JMLUnit
    0 references
    Dafny
    0 references
    Korat
    0 references
    AstraVer
    0 references
    KLEE
    0 references
    KRAKATOA
    0 references
    SIMPLIFY
    0 references
    VeriCool
    0 references
    RustBelt
    0 references
    Yices
    0 references
    Rust
    0 references
    SMT-LIB
    0 references
    CVC4
    0 references
    Joogie
    0 references
    OpenAlex ID
    W4220713823
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2102933&oldid=32187747"
    Powered by MediaWiki