Research output per year
Research output per year
Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/04/10 → 31/03/14 |
Funding
- EPSRC: £629,217.00
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
A graphical representation of verification proof plans
Lin, Y., Bundy, A. & Grov, G., 4 Sept 2024, The Practice of Formal Methods. Cavalcanti, A. & Baxter, J. (eds.). Springer, p. 292-313 22 p. (Lecture Notes in Computer Science; vol. 14780).Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
-
Automating Event-B invariant proofs by rippling and proof patching
Lin, Y., Bundy, A., Grov, G. & Maclean, E., 2 Jan 2019, In: Formal Aspects of Computing. p. 1-35 35 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
The Tinker tool for graphical tactic development
Grov, G. & Lin, Y., 17 Mar 2017, (E-pub ahead of print) In: International Journal on Software Tools for Technology Transfer. p. 1-17 17 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile