Home Ask AI Library You

Prev

Next

Home Ask AI Library You

Enjoy Podwise!

··:····:··

Podcast Cover

02 Apr 2024

12m

[VMCAI'24] Generic Model Checking for Modal Fixpoint Logics in COOL-MC

ACM SIGPLAN

ACM SIGPLAN - [VMCAI'24] Generic Model Checking for Modal Fixpoint Logics in COOL-MC

Sign in to continue reading, translating and more.

mindmap screenshot

Preview

preview episode cover

How to Get Rich: Every EpisodeNaval

[VMCAI'24] Generic Model Checking for Modal Fixpoint Logics in COOL-MC | ACM SIGPLAN | Podwise