InVeSt

MaRDI QIDQ23968swMATHFDO

Official website http://link.springer.com/chapter/10.1007/BFb0028771

Cited in

(14)

• scientific article; zbMATH DE number 1979541 (Why is no real title available?)
• Algebraic Methodology and Software Technology
• scientific article; zbMATH DE number 1905119 (Why is no real title available?)
• TREX
• MDGs
• Omega
• Salsa
• Automatic verification of reduction techniques in higher order logic
• scientific article; zbMATH DE number 1796145 (Why is no real title available?)
• scientific article; zbMATH DE number 1629964 (Why is no real title available?)
• Using forward reachability analysis for verification of lossy channel systems
• Compositional Verification for Component-Based Systems and Application
• Abstraction as the key for invariant verification
• scientific article; zbMATH DE number 2102702 (Why is no real title available?)

This page was built for software: InVeSt