Our Mission

Software systems design is a creative activity—one that calls for abstract models to analyze and reason about complex requirements, design decisions and conformance criteria so as to ensure the key system attributes are properly established and well understood prior to coding. While disregarding insignificant details, those models ought to be exact and unambiguous ‘blueprints’ of the design, serving as a reliable reference for implementation, integration and testing. Precision is essential to uncover and eliminate design flaws and weaknesses that oftentimes go unnoticed otherwise. In order to bridge the gap between computation models and specification methods, we build on discrete mathematics and computational logic for analysis and design of complex distributed and mobile systems in a wide range of application fields, including HW/SW systems, socio-technical systems and social systems.

CoreASM

CoreASM is our extensible, open source tool platform for machine-assisted design and experimental validation of distributed systems based on the Abstract State Machine (ASM) method.

 

What's New? 12 February 2011 Visit us at www.coreasm.org for the latest updates and CoreASM News on SourceForge for the latest news on CoreASM.   5 February 2011 The latest versions of the CoreASM Engine and the CoreASM Eclipse plugin come with lots of improvements, new plugins and new features! The following versions can be downloaded from www.coreasm.org/download. » CoreASM v1.5.6-beta with Carma v0.7.3 (binary, source) » CoreASM Eclipse plugin (version 0.6.6) with CoreASM engine v1.5.6-beta   23 January 2011 F Farahbod and U Glässer. The CoreASM Modeling Framework. Software: Practice & Experience, John Wiley & Sons, Special Issue: Tool Building in Formal Methods, 41(2): 167–178, Feb. 2011. »Abstract«

Viewpoint SFU at night