Karthik Nukala

According to our database, Karthik Nukala authored at least 2 papers in 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

MoXI: An Intermediate Language for Symbolic Model Checking.

Kristin Yvonne Rozier, Rohit Dureja, Ahmed Irfan, Chris Johannsen, Karthik Nukala, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi

Proceedings of the Model Checking Software - 30th International Symposium, 2024

The MoXI Model Exchange Tool Suite.

Chris Johannsen, Karthik Nukala, Rohit Dureja, Ahmed Irfan, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi, Kristin Yvonne Rozier

Proceedings of the Computer Aided Verification - 36th International Conference, 2024