The following pages link to Verification of logic programs (Q4700388):
Displaying 19 items.
- Weakest preconditions for pure Prolog programs (Q293340) (← links)
- Proof checking and logic programming (Q2628296) (← links)
- (Q2722043) (← links)
- Logics and automata for verification: Expressiveness and decidability issues (Q2763541) (← links)
- (Q2767120) (← links)
- (Q3075210) (← links)
- Batch ZK Proof and Verification of OR Logic (Q3624273) (← links)
- (Q3816961) (← links)
- (Q4518894) (← links)
- Verification logic (Q4555452) (← links)
- Logic + control: On program construction and verification (Q4603427) (← links)
- (Q4636023) (← links)
- (Q4793394) (← links)
- Verifying Tight Logic Programs with anthem and vampire (Q5140011) (← links)
- Verification from Declarative Specifications Using Logic Programming (Q5504672) (← links)
- Program Verification with Separation Logic (Q5883571) (← links)
- Representational reasoning and verification (Q5930073) (← links)
- On Correctness and Completeness of an <i>n</i> Queens Program (Q6063871) (← links)
- Verification for everyone? An overview of dynamic logic (Q6074988) (← links)