Formal verification of timed synchronous dataflow graphs using lustre (Q2043814)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Formal verification of timed synchronous dataflow graphs using lustre
scientific article

    Statements

    Formal verification of timed synchronous dataflow graphs using lustre (English)
    0 references
    3 August 2021
    0 references
    synchronous dataflow graph model
    0 references
    lustre
    0 references
    model checking
    0 references
    formal verification
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers