Advanced search
1 file | 592.67 KB

Simple gedanken experiments in leveraging applications of formal methods

Raymond Boute (UGent)
Author
Organization
Abstract
As experience in established engineering disciplines shows, the most (maybe only) effective way for leveraging formal methods (FM) into daily practice is by developing mathematical modeling abilities. Laying a solid theoretical basis early is best assisted by simple example problems with minimal technical content. It is shown how simplicity still allows covering all practical Aspects of FM and even finding now insights because, as in basic science, simple problems lead to a variety of gedanken experiments. Of the wide realm of opportunities, three are illustrated: (a) microsemantics in algorithmic problem solving and reasoning about invariants, (b) experimenting with data abstractions to capture informal statements faithfully, (c) expressing puzzles involving procedures, possibly with nondeterminism and multiple loops, by simple mathematics. The proper role of software tools in leveraging FM. is discussed alongside.
Keywords
PREDICATE CALCULUS

Downloads

  • (...).pdf
    • full text
    • |
    • UGent only
    • |
    • PDF
    • |
    • 592.67 KB

Citation

Please use this url to cite or link to this publication:

Chicago
Boute, Raymond. 2008. “Simple Gedanken Experiments in Leveraging Applications of Formal Methods.” In Communications in Computer and Information Science, ed. T Margaria and B Steffen, 17:847–861. Berlin, Germany: Srpinger Verlag.
APA
Boute, Raymond. (2008). Simple gedanken experiments in leveraging applications of formal methods. In T. Margaria & B. Steffen (Eds.), COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE (Vol. 17, pp. 847–861). Presented at the 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA2008), Berlin, Germany: Srpinger Verlag.
Vancouver
1.
Boute R. Simple gedanken experiments in leveraging applications of formal methods. In: Margaria T, Steffen B, editors. COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE. Berlin, Germany: Srpinger Verlag; 2008. p. 847–61.
MLA
Boute, Raymond. “Simple Gedanken Experiments in Leveraging Applications of Formal Methods.” Communications in Computer and Information Science. Ed. T Margaria & B Steffen. Vol. 17. Berlin, Germany: Srpinger Verlag, 2008. 847–861. Print.
@inproceedings{668955,
  abstract     = {As experience in established engineering disciplines shows, the most (maybe only) effective way for leveraging formal methods (FM) into daily practice is by developing mathematical modeling abilities. Laying a solid theoretical basis early is best assisted by simple example problems with minimal technical content. It is shown how simplicity still allows covering all practical Aspects of FM and even finding now insights because, as in basic science, simple problems lead to a variety of gedanken experiments. Of the wide realm of opportunities, three are illustrated: (a) microsemantics in algorithmic problem solving and reasoning about invariants, (b) experimenting with data abstractions to capture informal statements faithfully, (c) expressing puzzles involving procedures, possibly with nondeterminism and multiple loops, by simple mathematics. The proper role of software tools in leveraging FM. is discussed alongside.},
  author       = {Boute, Raymond},
  booktitle    = {COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE},
  editor       = {Margaria, T and Steffen, B},
  isbn         = {978-3-540-88478-1},
  issn         = {1865-0929},
  language     = {eng},
  location     = {Porto Sani, Greece},
  pages        = {847--861},
  publisher    = {Srpinger Verlag},
  title        = {Simple gedanken experiments in leveraging applications of formal methods},
  volume       = {17},
  year         = {2008},
}

Web of Science
Times cited: