User Tools

Site Tools


overview:news

Latest news

  • 2022-12-20 – Software update
    Workcraft 3.3.9 is released (see changelog).
  • 2022-09-14 – Publicity
    Paper in IEEE Transaction on Computers about Workcraft design automation for synthesis of burst-mode automata:
    • A. Chan et al: “Burst automaton: Framework for speed-independent synthesis using burst-mode specifications” (see IEEE Xplore or NCL ePrints).
  • 2022-09-14 – Publicity
    Presentation at FDL-2022 that acknowledges Workcraft:
    • A. Chan et al: “Formal modelling of Burst-Mode specifications in a distributed environment”.
  • 2022-07-21 – Software update
    Workcraft 3.3.8 is released (see changelog).
  • 2022-03-25 – Software update
    Workcraft 3.3.7 is released (see changelog).

Log for 2021

Log for 2020

Log for 2019

Log for 2018

Log for 2017

Log for 2016

Log for 2015

Log for 2014

Log for 2013 and earlier

Copyright © 2014-2024 workcraft.org

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki