Counterexample classification

DOI10.1007/978-3-030-92124-8_18zbMath1522.68350arXiv2108.00885MaRDI QIDQ6045060

Stavros Tripakis, Cole Vick, Eunsuk Kang

Publication date: 26 May 2023

Published in: Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2108.00885

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• An attack on the Needham-Schroeder public-key authentication protocol
• Predicate Abstraction for Program Verification
• Producing Short Counterexamples Using “Crucial Events”
• Explaining Counterexamples Using Causality
• Using encryption for authentication in large networks of computers

This page was built for publication: Counterexample classification