Tài liệu tham khảo |
Loại |
Chi tiết |
[1] Christel Baier Joost-Pieter Katoen (2008), Principles of Model Checking, MIT Press, Printed and bound in the United States of America, pp.19-26, 35-55, 89 -99, 151-152, 159-167, 170 -180, 188-193, 229-233 |
Sách, tạp chí |
Tiêu đề: |
Principles of Model Checking |
Tác giả: |
Christel Baier Joost-Pieter Katoen |
Năm: |
2008 |
|
[2] iu Y ng ( 9) “ OD K O URR T A D R A - T SYST S: T PAT APPROA ” A thesis submitted for the degree of doctor of philosophy department of computer science national university of Singapore, pp.20-22 |
Sách, tạp chí |
Tiêu đề: |
OD K O URR T A D R A -T SYST S: T PAT APPROA ” "A thesis submitted for the degree of doctor of philosophy department of computer science national university of Singapore |
|
[3] Saddek Bensalem, Vijay Ganesh, Yassine Lakhnech, Cesar Munoz, Sam Owre, Harald Rueò, John Rushby, Vlad Rusu, Hassen Saidi, N. Shankar, Eli Singerm n Ashish Tiw ri ( ) “An Overview of SA ” LFM 2000: Fifth NASA Langley Formal Methods Workshop, Williamsburg, pp.5-6 |
Sách, tạp chí |
Tiêu đề: |
An Overview of SA ” "LFM 2000: Fifth NASA Langley Formal Methods Workshop, Williamsburg |
|
[4] ee Pike ( 7) ” o el he king for the Pr ti l Verifi tionist” Automated Formal Methods(AFM07), pp.1-2, 4-5 |
Sách, tạp chí |
Tiêu đề: |
Automated Formal Methods(AFM07) |
|
[5] Leonardo de Moura, Sam Owre, N. Shankar (2003), The SAL Language Manual. (Rev.2), SRI International, Computer Science Laboratory, 333 Ravenswood Avenue, Menlo Park, pp.5-23 |
Sách, tạp chí |
Tiêu đề: |
The SAL Language Manual. (Rev.2) |
Tác giả: |
Leonardo de Moura, Sam Owre, N. Shankar |
Năm: |
2003 |
|
[6] Leonardo de Moura (2004), SAL: Tutorial. Computer Science Laboratory, SRI International, Computer Science Laboratory, 333 Ravenswood Avenue, Menlo Park, pp.3-4, 6-10 |
Sách, tạp chí |
Tiêu đề: |
SAL: Tutorial. Computer Science Laboratory |
Tác giả: |
Leonardo de Moura |
Năm: |
2004 |
|
[7] S. Owre, N. Shankar, J. M. Rushby, D. W. J. Stringer - Calvert (November 2001), PVS Language Reference, Version 2.4, SRI International, Computer Science Laboratory, 333 Ravenswood Avenue, Menlo Park, pp.11-17, 37-42 |
Sách, tạp chí |
Tiêu đề: |
PVS Language Reference, Version 2.4 |
|