Model checking of safety properties (Q5949490)

From MaRDI portal
scientific article; zbMATH DE number 1675859
Language Label Description Also known as
English
Model checking of safety properties
scientific article; zbMATH DE number 1675859

    Statements

    Model checking of safety properties (English)
    0 references
    0 references
    0 references
    4 April 2002
    0 references
    formal verification
    0 references
    safety properties
    0 references

    Identifiers