Counterexample-guided abstraction refinement: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

8 February 2025

  • curprev 03:5503:55, 8 February 2025 185.212.60.57 talk 8,058 bytes +8,058 →References: fixed spelling of the name of an author of https://dl.acm.org/doi/10.1145/876638.876643 The first name should be Somesh according to his homepage https://pages.cs.wisc.edu/~jha/
Retrieved from "https://en.wiki.beta.math.wmflabs.org/wiki/Counterexample-guided_abstraction_refinement"