InVeSt
From MaRDI portal
Software:23968
swMATH12034MaRDI QIDQ23968FDOQ23968
Author name not available (Why is that?)
Cited In (10)
- Title not available (Why is that?)
- Algebraic Methodology and Software Technology
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automatic verification of reduction techniques in higher order logic
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
This page was built for software: InVeSt
