Next: Bibliography Up: autoref Previous: Omówienie uzyskanych wyników
Podsumowanie
Mamy nadzieję, że wyniki przedstawione w tej pracy staną się podstawą do automatycznego przenoszenia wnioskowań o specyfikacjach strukturalnych do któregoś z istniejących komputerowo wspomaganych systemów dowodzenia twierdzeń. Zdajemy sobie jednocześnie sprawę z tego, że przedstawiony w tej pracy formalizm specyfikacji jest niewielki i nie obejmuje wszystkich konstrukcji, występujących w istniejących formalizmach budowania specyfikacji. Z drugiej strony, praca ta, na przykładzie prostego formalizmu specyfikacji, pokazuje w jaki sposób należałoby rozszerzać prezentowane tu wyniki na bardzej skomplikowane formalizmy specyfikacji, takie jak np. CASL. Opracowanie szczegółów możliwych rozszerzeń prezentowanych tu wyników pozostaje jednak jako zadanie na przyszłość.
Wyniki przedstawione w tej pracy zostały częściowo opublikowane w [Borz 97,Borz 98,Borz 99a,Borz 99b,Borz 00].
RHS Linux User
2000-06-24