Eyrak Paen

Learn More
We report on ongoing work to define a formal semantics for UML-RT suitable for execution and analysis. The paper advocates the use of kiltera as an executable, yet formal, specification language for the high-level description and analysis of complex software systems. kiltera is based on a novel process algebra that extends the π-calculus with time,(More)
  • 1