Tinklalapis: www.velykis.lt
Tinklalapio pavadinimas: Andrius Velykis – Notes on formal methods, PhD research and beyond
Tinklalapio RSS srautas:
Isabelle/Eclipse released!
I am pleased to announce the first official release of Isabelle/Eclipse! 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 release.
Isabelle/Eclipse provides an Eclipse …
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: Reflow Maven skin.
The new skin allows generating a Maven site that builds on Bootstrap …
Creating icons for Eclipse RCP launcher
Eclipse 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 …
Installing Z/EVES on Mac OS X
Z/EVES is an interactive theorem prover for Z notation. It can be used to develop Z specifications and reason about them. It has a number of attractive features, such as an easier learning curve (in comparison to related theorem provers, e.g. Isabelle), powerful proof tactics, and the ability to …
Nuorodos į kitus domenus: andrius.velykis.lt