[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Arne Boralv & Gunnar Stalmarck
- Formal Verification in Railways
- =EXPERIENCE RISKS SPECIFICATION STD/FSM LOGIC TPA vs DESIGN V&V TOOL Prover Delphi for ADtranz CVT Swedish Sternol
- Prover is a Company specializing in the industrialization of formal methods. Stalmarck has patented the proof algorithm!
- Can we make a formal tool that is as transparent to use as a word processor? Some parts need a formal methods expert, but some parts can be made more useful to railway interlocking engineers.
- Need to trade-off expressive power of logic with the performance of the tool.
- Claims that ONLY domain/application knowledge is needed to use the tools.
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]