Using Formal Methods for Verification and Validation in Railway
| Autor: | Klaus Reichl, Peter Tummeltshammer, Tomas Fischer |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
Model checking
Correctness Programming language Computer science Process (engineering) 020207 software engineering 0102 computer and information sciences 02 engineering and technology computer.software_genre Mathematical proof Formal methods 01 natural sciences Task (project management) 010201 computation theory & mathematics 0202 electrical engineering electronic engineering information engineering Verification computer Verification and validation |
| Zdroj: | Tests and Proofs ISBN: 9783319411347 TAP@STAF |
| Popis: | A very promising and efficient method of showing the correctness of a complex system is using formal methods on a model of that system. To this end there exist plentiful methods and tools for easing the mathematically burdensome process of refinement and proofs, as well as the computationally complex task of model checking. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|