Literatura
[1] M. Engel. Badanie poprawności specyfikacji tropowych. Praca doktorska (w przygotowaniu),
Instytut Informatyki, Uniwersytet Warszawski, 2000.
[2] M. Engel, A. Kret, J. Mincer-Daszkiewicz. Towards automated
consistency checking of module interface specification. Fundamenta
Informaticae, volume 42 number 3-4 July 2000, pages
251-278.
[3] M. Iglewski, M. Kubica, J. Madey, J. Mincer-Daszkiewicz, K. Stencel. TAM'97: the Trace Assertion
Method of Module Interface Specification.Reference Manual. Technical Report TR 97-01 (238), Instytut
Informatyki, Uniwersytet Warszawski, 1997.
[4] A. Kret. Strategie dowodzenia specyfikacji tropowych. Praca magisterska, Instytut
Informatyki, Uniwersytet Warszawski, 1998.
[5] M. Majewska, P. Kołodziejski. Specyfikacja unixowego systemu plików w metodzie
tropów. Praca magisterska, Instytut Informatyki, Uniwersytet Warszawski, 1996.
[6] G. Marczyński. Weryfikacja poprawności projektów implementacji modułów programistycznych.
Praca magisterska, Instytut Informatyki, Uniwersytet Warszawski, 1999.
[7] S. Owre, N. Shankar, J. M. Rushby, D. W. J. Stringer-Calvert. PVS System Guide. PVS Prove Guide.
PVS Language Reference. Version 2.3.
Computer Science Laboratory, SRI International, Menlo Park, CA, 1999.
[8] A. Petryk. Automatyzacja weryfikacji specyfikacji tropowych. Praca magisterska, Instytut Informatyki
Uniwersytetu Warszawskiego, 2000.