scientific article; zbMATH DE number 1232244

MaRDI QIDQ4223070zbMATH OpenFDO

Authors D. Lesens, Hassen Saidi

Publication date 3 January 1999

zbMATH Keywords

abstract networkfirst-order verification conditions

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Recommendations

• scientific article; zbMATH DE number 3990881
• Networks of morphisms
• Algorithms and Computation
• Combinatorial network abstraction by trees and distances
• scientific article; zbMATH DE number 7020152
• scientific article; zbMATH DE number 1696515
• A Contribution to the Theory of Network Synthesis

Cited in

(15)

• Model checking and abstraction to the aid of parameterized systems (a survey)
• Parameterized verification of linear networks using automata as invariants
• View abstraction for systems with component identities
• Verification of parameterized protocols
• scientific article; zbMATH DE number 1696515 (Why is no real title available?)
• All for the price of few (parameterized verification through view abstraction)
• Program specialization for verifying infinite state systems: an experimental evaluation
• Inferring Network Invariants Automatically
• scientific article; zbMATH DE number 1953016 (Why is no real title available?)
• scientific article; zbMATH DE number 1538040 (Why is no real title available?)
• scientific article; zbMATH DE number 7020152 (Why is no real title available?)
• Networks of processes with parameterized state space
• Parametric verification of a group membership algorithm
• Automatic verification of parameterized networks of processes
• An invariant-based approach to the verification of asynchronous parameterized networks

Describes a project that uses

Uses Software

• PVS

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4223070)