Proving correctness of strategies in the AL1 assertional language

DOI10.1016/0020-0190(78)90004-2zbMath0386.68014OpenAlexW1976969390MaRDI QIDQ1249844

Ivan Bratko

Publication date: 1978

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(78)90004-2

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3

Cites Work

• Unnamed Item

This page was built for publication: Proving correctness of strategies in the AL1 assertional language