Login / Signup

Verifying Semantic Conformance of State Machine-to-Java Code Generators.

Lukman Ab. RahimJon Whittle
Published in: MoDELS (1) (2010)
Keyphrases
  • state machine
  • state machines
  • fault tolerant
  • finite state machines
  • java code
  • high level
  • databases
  • semantic information
  • model checking
  • domain specific
  • object oriented
  • open source