An example of separation logic is its use in verifying the correctness of algorithms that manipulate linked lists or binary trees in AI applications.