Login / Signup
Manish Adkar
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Model Checking
File System
Epistemic Logic
Automated Verification
Top Venues
FAST
</>
Publications
</>
Yifei Liu
,
Manish Adkar
,
Gerard J. Holzmann
,
Geoff Kuenning
,
Pei Liu
,
Scott A. Smolka
,
Wei Su
,
Erez Zadok
Metis: File System Model Checking via Versatile Input and State Exploration.
FAST
(2024)