Pages that link to "Item:Q3334054"

The following pages link to Mechanical proofs about computer programs (Q3334054):

Displaying 4 items.

• Verification conditions for source-level imperative programs (Q465685) (← links)
• Problem-oriented verification system and its application to linear algebra programs (Q1311971) (← links)
• On the mechanical derivation of loop invariants (Q1322851) (← links)
• The automated proof of a trace transformation for a bitonic sort (Q1822503) (← links)