vlogsl

swMATH12874MaRDI QIDQ24798FDOQ24798

Author name not available (Why is that?)

Described by source

• vlogsl: A Strategy Language for Simulation-Based Verification of Hardware

Cited In (2)

• The rewriting logic semantics project: a progress report
• Twenty years of rewriting logic

This page was built for software: vlogsl