Pages that link to "Item:Q2703694"
From MaRDI portal
The following pages link to Rewriting logic as a framework for generic verification tools (Q2703694):
Displaying 8 items.
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- (Q2722043) (← links)
- Verifying Reachability-Logic Properties on Rewriting-Logic Specifications (Q2945720) (← links)
- Abstract Certification of Global Non-interference in Rewriting Logic (Q3066121) (← links)
- Towards Erlang Verification by Term Rewriting (Q3453650) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395090) (← links)
- Reveal: A Formal Verification Tool for Verilog Designs (Q5505565) (← links)
- A verified VCGen based on dynamic logic: an exercise in meta-verification with Why3 (Q6156936) (← links)