[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

BoralvStalmarck99

  1. Arne Boralv & Gunnar Stalmarck
  2. Formal Verification in Railways
  3. In [HincheyBowen99] pp329-350
  4. =EXPERIENCE RISKS SPECIFICATION STD/FSM LOGIC TPA vs DESIGN V&V TOOL Prover Delphi for ADtranz CVT Swedish Sternol
  5. Prover is a Company specializing in the industrialization of formal methods. Stalmarck has patented the proof algorithm!
  6. 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.
  7. Need to trade-off expressive power of logic with the performance of the tool.
  8. Claims that ONLY domain/application knowledge is needed to use the tools.

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]