Ted Ralston

Learn More
Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. The purpose of this study is to evaluate international industrial experience in using formal methods. The cases selected are, we believe, representative of industrial-grade(More)
" Formal Methoak " refers to the use of mathematically based techniques in so~are and system engineering. This pa~r summarizes observations on their use in a dozen applications in industrial settings. Application goals rangedfiom re-engineering to ~stem certification. Code scale rangesfiom 1000 LOC for a complex safety-critical application) through 10, 000s(More)
  • 1