MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Verification Support Environment." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 16 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Verification Support Environment (VSE)  
  • by R. Forster, P. Kejwal, P. Kejwal (dornier, P. Göhner, P. Baur, P. Gohner (gesellschaft Fur Proze��rechner-programmierung, J. Cleve, R. Drexler, D. Hutter, C. Sengler, A. Wolpers, J. H. Siekmann, W. Stephan, E. Canver
  • …Verification Support Environment (VSE) R. Forster, P. Kejwal (Dornier) P. Baur, P. Gohner…
  • Add To MetaCart
  • VSE: Formal Methods Meet Industrial Needs  
  • by Serge Autexier, Dieterr Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers — 2000
  • …. The Verification Support Environment (VSE) is a tool to formally specify and verify complex systems. It provides…
  • Cited by 3 (3 self) – Add To MetaCart
  • System Description:  
  • by Logic Voyager Serge, Serge Autexier, Dieter Hutter
  • … of the verification support environment (VSE) [H + 96] have been performed which gave rise to thousands of proof…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB