External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution)

Ravindra Metta, Prasanth Yeduru, Hrishikesh Karmarkar, Raveendra Kumar Medicherla. VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). In Sriram Sankaranarayanan 0001, Natasha Sharygina, editors, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II. Volume 13994 of Lecture Notes in Computer Science, pages 594-599, Springer, 2023. [doi]

Authors

Ravindra Metta

This author has not been identified. Look up 'Ravindra Metta' in Google

Prasanth Yeduru

This author has not been identified. Look up 'Prasanth Yeduru' in Google

Hrishikesh Karmarkar

This author has not been identified. Look up 'Hrishikesh Karmarkar' in Google

Raveendra Kumar Medicherla

This author has not been identified. Look up 'Raveendra Kumar Medicherla' in Google
runs on