• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS.

Crystal Chang DinRichard BubelReiner Hähnle
Published in: CADE (2015)
Keyphrases
  • modelling language
  • model checking
  • database
  • e learning
  • learning process
  • learning design
  • formal semantics
  • user interface
  • object oriented