approach based on mathematical logic for proving the correctness of computer programs; closely related to Hoare logic; define the meaning of a command in a program by describing its effect on assertions about the program state
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).