Using Answer Set Programming in the Development of Verified Software. (Q5398045)

From MaRDI portal
scientific article; zbMATH DE number 6261529
Language Label Description Also known as
English
Using Answer Set Programming in the Development of Verified Software.
scientific article; zbMATH DE number 6261529

    Statements

    0 references
    0 references
    25 February 2014
    0 references
    answer set programming
    0 references
    verification
    0 references
    SPARK
    0 references
    Ada
    0 references
    contract based verification
    0 references
    safety critical
    0 references
    Using Answer Set Programming in the Development of Verified Software. (English)
    0 references

    Identifiers