Prasita Mukherjee

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 6

Top Topics

Pspace Complete

Formal Specification

Graph Representation

Top Venues

Publications

Robert Dickerson, Prasita Mukherjee, Benjamin Delaware
KestRel: Relational Verification Using E-Graphs for Program Alignment. CoRR (2024)
Prasita Mukherjee, Haoteng Yin
OCTAL: Graph Representation Learning for LTL Model Checking. CoRR (2023)
Prasita Mukherjee, Haoteng Yin, Susheel Suresh, Tiark Rompf
OCTAL: Graph Representation Learning for LTL Model Checking. CoRR (2022)
Prasita Mukherjee, Tiark Rompf
A GNN Based Approach to LTL Model Checking. CoRR (2021)
Kartik Nagar, Prasita Mukherjee, Suresh Jagannathan
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems. CoRR (2020)
Kartik Nagar, Prasita Mukherjee, Suresh Jagannathan
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems. CAV (1) (2020)