ai4fm.org

homepages.cs.ncl.ac.uk

Home · Cliff B Jones

http://homepages.cs.ncl.ac.uk/cliff.jones

Skip to main content. Ian Hayes and I will teach a. There will be a Conference. In Oxford to mark the 100th anniversary of. Two recent papers on. Reasoning about Separation Using Abstraction and Reification. Possible values: Exploring a concept for concurrency. These follow on from the root-and-branch revision of. Balancing Expressiveness in Formal Approaches to Concurrency. Laws and semantics for rely-guarantee refinement. Work on the history of formal methods has stepped up since Troy Astarte. Funded b...

andrius.velykis.lt

Posts in “Coding” – Andrius Velykis

http://andrius.velykis.lt/topic/coding

Skip to main content. Posts in “Coding”. Modernise Maven site with new Reflow Maven skin. Creating icons for Eclipse RCP launcher. Installing Z/EVES on Mac OS X. Previews of Isabelle/Eclipse, CZT Z/EVES for Eclipse and the ProofProcess framework. XML 11 long attributes in Java 6. Me @ Newcastle University. AI4FM research project (completed). CZT: Community Z Tools. I am a research associate in Taming Concurrency project at Newcastle University.

andrius.velykis.lt

Publications – Andrius Velykis

http://andrius.velykis.lt/publications

Skip to main content. Andrius Velykis. Capturing Proof Process. PhD thesis, School of Computing Science, Newcastle University, UK, 2015. Phdthesis{Velykis15, author = {Velykis, Andrius}, school = {School of Computing Science, Newcastle University, UK}, title = {Capturing Proof Process}, url = {http:/ andrius.velykis.lt/publications/Velykis15.pdf}, year = {2015} }. A prototype implementation of the ProofProcess framework is available, including integrations with Isabelle and Z/EVES theorem provers. Tw...

andrius.velykis.lt

Creating icons for Eclipse RCP launcher – Andrius Velykis

http://andrius.velykis.lt/2012/10/creating-icons-for-eclipse-rcp-launcher

Skip to main content. Creating icons for Eclipse RCP launcher. IDE can be extended by creating plug-ins that complement the existing IDE features. Furthermore, the plug-ins can be released as a standalone application (that may resemble Eclipse IDE) with custom branding and a streamlined selection of features, geared for a specific task. This is done by using the Eclipse. Rich Client Platform (RCP). Features available within it. Which will be released as part of the latest Community Z Tools. And can store...

andrius.velykis.lt

Posts in “Other” – Andrius Velykis

http://andrius.velykis.lt/topic/other

Skip to main content. Posts in “Other”. All the (small) things. Me @ Newcastle University. AI4FM research project (completed). CZT: Community Z Tools. I am a research associate in Taming Concurrency project at Newcastle University. I spend my days with formal methods and tools, trying to make theorem proving and reasoning about concurrency easier.

andrius.velykis.lt

About Me – Andrius Velykis

http://andrius.velykis.lt/about

Skip to main content. I am a research associate in Taming Concurrency project at Newcastle University. Working with Prof. Cliff Jones. I do like my mathematics and computer science: my (research) interests range from software development to formal methods, theorem proving and reasoning about concurrency in software. Reasoning about concurrency using Rely/Guarantee. AI4FM and PhD research. I have completed my PhD thesis “Capturing Proof Process”. As part of the AI4FM project. That realises ideas on captur...

andrius.velykis.lt

Posts in “Useful” – Andrius Velykis

http://andrius.velykis.lt/topic/useful

Skip to main content. Posts in “Useful”. Installing Z/EVES on Mac OS X. Strategy for master BibTeX file using Git submodules. List BibTeX publications in WordPress with. Me @ Newcastle University. AI4FM research project (completed). CZT: Community Z Tools. I am a research associate in Taming Concurrency project at Newcastle University. I spend my days with formal methods and tools, trying to make theorem proving and reasoning about concurrency easier.

andrius.velykis.lt

Modernise Maven site with new Reflow Maven skin – Andrius Velykis

http://andrius.velykis.lt/2013/01/modernise-maven-site-with-new-reflow-maven-skin

Skip to main content. Modernise Maven site with new Reflow Maven skin. I have decided to dust off and finally release some projects that occupied some of my time in the past but then got forgotten or postponed somehow… The first of these is a new skin for Apache Maven site. The new skin allows generating a Maven site that builds on Bootstrap. Http:/ andriusvelykis.github.io/reflow-maven-skin/. An obligatory screenshot follows. Read on for a bit more details about the skin. Reflow Maven skin in action.

andrius.velykis.lt

Isabelle/Eclipse released! – Andrius Velykis

http://andrius.velykis.lt/2013/04/isabelle-eclipse-released

Skip to main content. I am pleased to announce the first. Some documentation has finally caught up with the code, some new shiny features. Have been added, a brand new website. Has surfaced, and Isabelle/Eclipse got its first stable. Isabelle/Eclipse provides an Eclipse. Integration for Isabelle proof assistant. Learn more about Isabelle/Eclipse and download it from its website. Http:/ andriusvelykis.github.io/isabelle-eclipse/. Also, check out the list of closed issues. Reporting issues and contributing.

andrius.velykis.lt

Topics – Andrius Velykis

http://andrius.velykis.lt/topics

Skip to main content. Me @ Newcastle University. AI4FM research project (completed). CZT: Community Z Tools. I am a research associate in Taming Concurrency project at Newcastle University. I spend my days with formal methods and tools, trying to make theorem proving and reasoning about concurrency easier.