Technical Information
 

This page provides some of the technical background and results of the VVS project which is a joint project between Baan VisualSTATE, BRICS Aalborg University and the Computer Systems section, Technical University of Denmark.
 
  Publications:

• Overview of the VVS project 
  
  
• Simplicity and Scalability are Main Requirements for European Industrial Use of Formal Methods,by 
  Niels Bo THEILGAARD 
  
  
• Verification of Large State/Event Systems using Compositionality and Dependency Analysis, by 
  J. Lind-Nielsen, H.R. Andersen, G. Behrman, H. Hulgaard, K. Kristoffersen and K.G. Larsen, Proceedings of TACAS'98, Springer-Verlag, LNCS, March 1998.
  Extended version submitted to Formal Methods in System Design.
• Verification of Hierarchical State/Event Systems using Reusability and Compositionality by  G. Behrman, K.G. Larsen, H.R. Andersen, H. Hulgaard and J. Lind-Nielsen.