@inproceedings{dc9c1bb7c22e4c7ea1fbb0abf1084d96,
title = "'The Tinker' for Rodin",
abstract = "PSGraph [3] is a graphical proof strategy language, which uses the formalisation of labelled hierarchical graphs to provide support for the development and maintenance of large and complex proof tactics. PSGraph has been implemented as the Tinker system, which previously supported the Isabelle and ProofPower theorem provers [4]. In this paper we present a Rodin version of Tinker, which allows Rodin users to encode, analyse and debug their proof strategies in Tinker.",
author = "Yibo Liang and Yuhui Lin and Gudmund Grov",
year = "2016",
doi = "10.1007/978-3-319-33600-8_19",
language = "English",
isbn = "9783319335995",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "262--268",
editor = "M. Butler and K.-D. Schewe and A. Mashkoor and M. Biro",
booktitle = "Abstract State Machines, Alloy, B, TLA, VDM, and Z",
note = "5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z 2016 ; Conference date: 23-05-2016 Through 27-05-2016",
}