Login / Signup

Modelling, Verifying and Testing the Contract Automata Runtime Environment with Uppaal.

Davide Basile
Published in: COORDINATION (2024)
Keyphrases
  • model checking
  • timed automata
  • runtime environment
  • temporal logic
  • parallel computation
  • databases
  • object model
  • case study
  • general purpose