Skip to content

DanielEmmerich/validation

 
 

Repository files navigation

Important Note: Change of Scade Release for Modelling!!!! We NOW switch to Scade Release 16.1. Please, make sure you use this version for all commits.

Stories in Ready ![Stories in "In Progress"](https://badge.waffle.io/openETCS/validation.png?label=In Progress&title=In Progress) ##Management

Work Package 4 Top-Level Project

You can find a guide below:

If you have any questions concerning this top level project, feel free to contact @MarcBehrens

Throughput Graph

Throughput Graph

Contributing

  1. Fork it
  2. Clone it (git clone git@github.com:you/validation.git)
  3. Create your feature branch (git checkout -b my-new-verification-operator)
  4. Verify/ Validate and document the results
  5. Commit your changes (git commit -am 'Added some verification results')
  6. Push to the branch (git push origin my-new-verification-operator)
  7. Create new Pull Request via http://github.com/you
  8. Configure pulling your repository from the master (git remote set-url https://github.com/openETCS/validation.git)
  9. Configure pushing your repository to the fork (git remote set-url https://github.com/you/validation.git)

Please replace you by your github username.

About

WP4: Validation and verification strategy

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • HTML 90.7%
  • TeX 6.1%
  • C 2.5%
  • C++ 0.6%
  • Shell 0.1%
  • XSLT 0.0%