Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Mukherjee, Prasita"'
Autor:
Mukherjee, Prasita, Delaware, Benjamin
We present \synver{}, a novel synthesis and verification framework for C programs, that deploys a Large Language Model (LLM) to search for a candidate program that satisfies the given specification. Our key idea is to impose syntactic and semantic bi
Externí odkaz:
http://arxiv.org/abs/2410.14835
Many interesting program properties involve the execution of multiple programs, including observational equivalence, noninterference, co-termination, monotonicity, and idempotency. One popular approach to reasoning about these sorts of relational pro
Externí odkaz:
http://arxiv.org/abs/2404.08106
Autor:
Mukherjee, Prasita, Yin, Haoteng
Model Checking is widely applied in verifying the correctness of complex and concurrent systems against a specification. Pure symbolic approaches while popular, suffer from the state space explosion problem due to cross product operations required th
Externí odkaz:
http://arxiv.org/abs/2308.13474
Model Checking is widely applied in verifying the correctness of complex and concurrent systems against a specification. Pure symbolic approaches while popular, still suffer from the state space explosion problem that makes them impractical for large
Externí odkaz:
http://arxiv.org/abs/2207.11649
Autor:
Mukherjee, Prasita, Rompf, Tiark
Model Checking is widely applied in verifying complicated and especially concurrent systems. Despite of its popularity, model checking suffers from the state space explosion problem that restricts it from being applied to certain systems, or specific
Externí odkaz:
http://arxiv.org/abs/2110.14824
Geo-replicated systems provide a number of desirable properties such as globally low latency, high availability, scalability, and built-in fault tolerance. Unfortunately, programming correct applications on top of such systems has proven to be very c
Externí odkaz:
http://arxiv.org/abs/2004.10158
Autor:
Mukherjee, Prasita
Publikováno v:
ARGUMENT: Biannual Philosophical Journal. II(1):117-127
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=210364
