Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] on formalization of predicate abstraction

Email Gateway (Aug 22 2022 at 19:39):

From: Li Yongjian <lyj238@gmail.com>
Dear experts:
Do you know who have done formalization in Isabelle or other theorem
prover
for predicate abstraction in advanced model checking theory, and
prove that the abstarcted system
can simulates the original system?

Thanks in advance

regards!

Last updated: Jul 26 2025 at 08:28 UTC