• Post Reply Bookmark Topic Watch Topic
  • New Topic

CORBA formalism  RSS feed

 
Ioanna Dio
Greenhorn
Posts: 1
  • Mark post as helpful
  • send pies
  • Quote
  • Report post to moderator
How can someone prove properties (using HOL or any other formal techniques) about CORBA when it is not formally specified? Are there any semantics describing CORBA?
 
  • Post Reply Bookmark Topic Watch Topic
  • New Topic
Boost this thread!