Login / Signup

Enforcing Safety and Progress Properties: An Approach to Concurrent Program Derivation.

Brijesh DongolIan J. Hayes
Published in: Australian Software Engineering Conference (2009)
Keyphrases
  • desirable properties
  • global consistency
  • imperative programs
  • machine learning
  • web services
  • decision trees
  • high level
  • expert systems
  • information technology
  • structural properties
  • program execution