The following pages link to (Q2767047):
Displaying 6 items.
- Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (Q3003492) (← links)
- (Q5020651) (← links)
- (Q5020652) (← links)
- Well-structured transition systems everywhere! (Q5941101) (← links)
- Symbolic Specialization of Rewriting Logic Theories with <tt>Presto</tt> (Q6063888) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)
