Verification of database-driven systems via amalgamation

    PODS, 2013.

    Cited by: 17|Bibtex|Views19|Links
    EI
    Keywords:
    main result concerns systemdata treeoptimal pspace algorithmdatabase-driven systemfinite numberMore(7+)

    Abstract:

    We describe a general framework for static verification of systems that base their decisions upon queries to databases. The database is specified using constraints, typically a schema, and is not modified during a run of the system. The system is equipped with a finite number of registers for storing intermediate information from the data...More

    Code:

    Data:

    Your rating :
    0

     

    Best Paper
    Best Paper of PODS, 2013
    Tags
    Comments