Karthik Nukala

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

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2024
MoXI: An Intermediate Language for Symbolic Model Checking.
Proceedings of the Model Checking Software - 30th International Symposium, 2024

The MoXI Model Exchange Tool Suite.
Proceedings of the Computer Aided Verification - 36th International Conference, 2024


  Loading...