Making Verification in KeYmeara Easier - A Graphical Approach for Better Usability

Typ

Beitrag Konferenzband von Prof. Dr. Thomas Baar

Zitation

Baar, Thomas; Staroletov, Sergey: Making Verification in KeYmeara Easier - A Graphical Approach for Better Usability. In: Proceeding of 9th Workshop "Program Semantics, Specification and Verification: Theory and Applications" dedicated to the memory of B.A. Trakhtenbrot, M.I. Dekhtyar, and M.K. Valiev, S. 22-28, Yaroslavl State University, Yaroslavl, Russia, 2018, ISBN 978-5-8397-1149-5