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.

What Is Formal Verification Without Specifications? A Survey on Mining LTL Specifications

Daniel Neider, Rajarshi Roy 0002. What Is Formal Verification Without Specifications? A Survey on Mining LTL Specifications. In Nils Jansen 0001, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll 0001, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk 0001, editors, Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III. Volume 15262 of Lecture Notes in Computer Science, pages 109-125, Springer, 2025. [doi]

Authors

Daniel Neider

This author has not been identified. Look up 'Daniel Neider' in Google

Rajarshi Roy 0002

This author has not been identified. Look up 'Rajarshi Roy 0002' in Google
runs on