Tomi Metsälä

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
ActionC is a new approach to rigorous modelling and development of computer systems. ActionC integrates SystemC, an informal design language, and Action Systems, a formal modelling language that supports verification and stepwise correctness-preserving refinement of system models. The ActionC approach combines the possibility to use a formal(More)
  • 1