SMT-based model checking for recursive programs von Komuravelli, Anvesh, Gurfinkel, Arie, Chaki, Sagar

Volltext

Automatic Abstraction in SMT-Based Unbounded Software Model Checking von Komuravelli, Anvesh, Gurfinkel, Arie, Chaki, Sagar, Clarke, Edmund M.

Volltext

SMT-based model checking for recursive programs von Komuravelli, Anvesh, Gurfinkel, Arie, Chaki, Sagar

Volltext

The SeaHorn Verification Framework von Gurfinkel, Arie, Kahsai, Temesghen, Komuravelli, Anvesh, Navas, Jorge A.

Volltext

SMT-Based Model Checking for Recursive Programs von Komuravelli, Anvesh, Gurfinkel, Arie, Chaki, Sagar

Volltext

Analysis and verification of the HMGB1 signaling pathway von Gong, Haijun, Zuliani, Paolo, Komuravelli, Anvesh, Faeder, James R, Clarke, Edmund M

Volltext

Connectivity preserving transformations for higher dimensional binary images von Komuravelli, Anvesh, Sinha, Arnab, Bishnu, Arijit

Volltext

Connectivity preserving transformations for higher dimensional binary images: Combinatorial Approach to Image Analysis von KOMURAVELLI, Anvesh, SINHA, Arnab, BISHNU, Arijit

Volltext

Learning Probabilistic Systems from Tree Samples von Komuravelli, A., Pasareanu, C. S., Clarke, E. M.

Volltext

Assume-Guarantee Abstraction Refinement for Probabilistic Systems von Komuravelli, Anvesh, Păsăreanu, Corina S., Clarke, Edmund M.

Volltext

Exploring Polygonal Environments by Simple Robots with Faulty Combinatorial Vision von Komuravelli, Anvesh, Mihalák, Matúš

Volltext

Backward Reasoning with Formal Properties: A Methodology for Bug Isolation on Simulation Traces von Komuravelli, A., Mitra, S., Banerjee, A., Dasgupta, P.

Volltext

A static verification approach for architectural integration of mixed-signal integrated circuits von Mukhopadhyay, Rajdeep, Komuravelli, Anvesh, Dasgupta, Pallab, Panda, S.K., Mukhopadhyay, Siddhartha

Volltext

Compositional Verification with Abstraction, Learning, and SAT Solving von Komuravelli, Anvesh

Volltext bestellen

Computational Modeling and Verification of Signaling Pathways in Cancer von Gong, Haijun, Zuliani, Paolo, Komuravelli, Anvesh, Faeder, James R., Clarke, Edmund M.

Volltext

Assumption Generation for Asynchronous Systems by Abstraction Refinement von Yang, Qiusong, Clarke, Edmund M., Komuravelli, Anvesh, Li, Mingshu

Volltext

AUTOMATED NETWORK CHANGE SYSTEM von BALAN, Horia Vlad, BANNAI, Vinay Kumar, FERGUSON, Andrew DeBock, GRIBBLE, Steven, ZHANG, Zengbin, KOMURAVELLI, Anvesh, TARIQ, Muhammad Mukarram, VAHDAT, Amin, LIN, Alexander Jinhon, ONG, Joon, ECHEVARRIA, Alvaro Martinez

Volltext bestellen

AUTOMATISERET NETVÆRKSSKIFTESYSTEM von BALAN, Horia Vlad, BANNAI, Vinay Kumar, FERGUSON, Andrew DeBock, GRIBBLE, Steven, ZHANG, Zengbin, KOMURAVELLI, Anvesh, TARIQ, Muhammad Mukarram, VAHDAT, Amin, LIN, Alexander Jinhon, ONG, Joon, ECHEVARRIA, Alvaro Martinez

Volltext bestellen

AUTOMATED NETWORK CHANGE SYSTEM von BALAN, Horia Vlad, BANNAI, Vinay Kumar, FERGUSON, Andrew DeBock, GRIBBLE, Steven, ZHANG, Zengbin, KOMURAVELLI, Anvesh, TARIQ, Muhammad Mukarram, VAHDAT, Amin, LIN, Alexander Jinhon, ONG, Joon, ECHEVARRIA, Alvaro Martinez

Volltext bestellen

AUTOMATED NETWORK CHANGE SYSTEM von BALAN, Horia Vlad, BANNAI, Vinay Kumar, FERGUSON, Andrew DeBock, GRIBBLE, Steven, ZHANG, Zengbin, KOMURAVELLI, Anvesh, TARIQ, Muhammad Mukarram, VAHDAT, Amin, LIN, Alexander Jinhon, ONG, Joon, ECHEVARRIA, Alvaro Martinez

Volltext bestellen