Andrius Velykis
Andrius Velykis
Verifierad e-postadress på newcastle.ac.uk - Startsida
Titel
Citeras av
Citeras av
År
An algebra of synchronous atomic steps
IJ Hayes, RJ Colvin, LA Meinicke, K Winter, A Velykis
International Symposium on Formal Methods, 352-369, 2016
192016
Formal modelling of separation kernel components
A Velykis, L Freitas
Theoretical Aspects of Computing–ICTAC 2010, 230-244, 2010
152010
Inferring the proof process
A Velykis
School of Computing Science Technical Report Series, 2012
72012
Formal Modelling of Separation Kernels
A Velykis
Master’s thesis, Department of Computer Science, University of York, 2009
72009
General Lessons from a Rely/Guarantee Development
CB Jones, A Velykis, N Yatapanage
International Symposium on Dependable Software Engineering: Theories, Tools …, 2017
42017
Ours Is to Reason Why
CB Jones, L Freitas, A Velykis
Theories of Programming and Formal Methods, 227-243, 2013
42013
Concurrent refinement algebra and rely quotients
J Fell, IJ Hayes, A Velykis
Archive of Formal Proofs, 2016
32016
Capturing Proof Process
A Velykis
PhD thesis, Newcastle University, 2015
12015
Contributions to AI4FM 2015
A Velykis, G Grov, L Freitas
Newcastle University, Computing Science, 2015
12015
A Model for Capturing and Replaying Proof Strategies
L Freitas, CB Jones, A Velykis, I Whiteside
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2014
12014
How to say why (in AI4FM)
L Freitas, CB Jones, A Velykis, I Whiteside
Computing Science, Newcastle University, 2013
12013
Can a system learn from interactive proofs
L Freitas, CB Jones, A Velykis
HOWARD-60. A Festschrift on the Occasion of Howard Barringer’s 60th Birthday …, 0
1*
How to say why (in AI4FM)
CB Jones, L Freitas, A Velykis, I Whiteside
School of Computing Science Technical Report Series, 2013
2013
3.38 Capturing and Inferring the Proof Process (Part 2: Architecture)
A Velykis
AI meets Formal Software Development, 27, 0
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–14