vlogsl

MaRDI QIDQ24798swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-642-19583-9_14

Described by source

• \texttt{vlogsl}: a strategy language for simulation-based verification of hardware

Cited in

(8)

• The rewriting logic semantics project: a progress report
• Twenty years of rewriting logic
• ITP/OCL
• PVeStA
• Dist-Orc
• MOMENT2
• SystemVerilog
• Java+ITP

This page was built for software: vlogsl