90 followers
Lightweight Symbolic Verification of Graph Trafos with Hardware Checkers by @sgbmyr & Martina Seidl https://t.co/v6TGy6V49V #tap16 #staf16
Lightweight Symbolic Verification of Graph Trafos with Hardware Checkers by @sgbmyr & Martina Seidl https://t.co/v6TGy6V49V #tap16 #staf16
Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers - https://t.co/wsbPt7cXdq