August 2008

Joe Kiniry is co-chair of the VSTTE 2008 workshop VS-EXPERIMENTS: Experiments in Verified Software.

Mikoláš Janota visited his collaborator Andrzej Wąsowski at the IT University of Copenhagen. As a part of the visit he gave a talk on two-tiered SPL modeling.

Joe Kiniry is giving a course entitled Verification-centric Software Engineering at the GLOBAN Summer School in September, 2008 at the Institute of Informatics, University of Warsaw, Warsaw, Poland.

July 2008

An article Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax by Mikoláš Janota, Victoria Kuzina, and Andrzej Wasowski has been accepted to MODELS '08.

Mikoláš Janota's article Do SAT Solvers Make Good Configurators? has been accepted to the First Workshop on Analyses of Software Product Lines (ASPL'08).

June 2008

Joe Kiniry is on the program committee of SAVCBS 2008, which is affiliated with SIGSOFT 2008/FSE 16, and will be held in Atlanta, Georgia.

Joe Kiniry is on the Program Committee of SLE 2008, the 1st International Conference on Software Language Engineering that will take place at MODELS 2008 in September, 2008 in Toulouse.

Joe Kiniry has been nominated as the Chair of Working Group #4: Tool Integration of the COST Program Action IC0701 "Formal Verification of Object-Oriented Software." He also sits on the Management Committee as he formally represents Ireland within the Action.

Joe Kiniry is on the Program Committee of SLE 2008, the 1st International Conference on Software Language Engineering that will take place at MODELS 2008 in September, 2008 in Toulouse.

more news...

KindSoftware: Software Engineering with
Applied Formal Methods

A part of the Systems Research Group,
a member of the CASL: Complex & Adaptive Systems Laboratory,
within the School of Computer Science and Informatics,
at University College Dublin

The Quick Summary

KindSoftware is dedicated to quality software through the use of formal methods, quality software technology, and wise use of modern software engineering principles.

Want to learn more about how to build high quality products? How to design architectures that you can be proud of? How to ship software that never crashes and has no bugs?

Want to know what tools, foundations, and techniques can help you accomplish these goals? Are you interested in supporting the formal methods community or have a tool, process, product, or theory of your own to promote?

If you answered yes to any of these questions, then you have come to the right place!

Most Recent Major Site Updates

We have one open position for a Ph.D. student and two open positions for research software and hardware engineers.

We are giving several tutorials this year about the Mobius PVE and verification-centric software development. Here is a general blurb about these events, all of which can be found on the tutorials section of our website.

Verification-centric Development in Java using BON, JML, and ESC/Java2

This tutorial introduces a verification-centric style to developing reliable, dependable Java software systems. In this process, the BON specification language and JML annotation language are used to specify a system at a high level, and the behavior of modules, respectively, via a model-based and DBC-centric approach. Moreover, powerful tools are available that compile and reason about BON and JML-annotated Java for runtime checking, unit testing, static analysis, specification generation, etc. This process and these tools have been deeply integrated into the Eclipse platform. The resulting IDE is called the Mobius Program Verification Environment (PVE). The PVE looks and feels like Eclipse, but has numerous capabilities that helps one focus on program analysis, design, development, testing, verification, and maintenance using hidden, powerful static checkers, theorem provers, and more.

ESC/Java version 2.0b4 has been released.

The KindSoftware research group is partially funded by the European Project Mobius within the IST 6th Framework, the Science Foundation Ireland via the UCD CASL SenseTile System grant and the Lero, the Irish Software Engineering Research Centre, Enterprise Ireland, the IRCSET Embark Initiative, the EU Framework Program via the COST Program (European Cooperation in the field of Scientific and Technical Research) action IC0701 "Formal Verification of Object-Oriented Software," and various UCD Seed Funding Initiatives. Our total funding since 2005 is approximately 1,350,000 Euro.