Tài liệu tham khảo |
Loại |
Chi tiết |
[1] A.W. Roscoe (2010), Understanding Concurrent Systems, Springer London Dordrecht Heidelberg New York |
Sách, tạp chí |
Tiêu đề: |
Understanding Concurrent Systems |
Tác giả: |
A.W. Roscoe |
Năm: |
2010 |
|
[2] A.W. Roscoe (1997), The Theory and Practice of Concurrency, Prentice Hall, ISBN 0-13-674409-5 |
Sách, tạp chí |
Tiêu đề: |
The Theory and Practice of Concurrency |
Tác giả: |
A.W. Roscoe |
Năm: |
1997 |
|
[3] Christel Baier, Joost-Pieter Katoen (2008), Principles of Model Checking, The MIT Press |
Sách, tạp chí |
Tiêu đề: |
Principles of Model Checking |
Tác giả: |
Christel Baier, Joost-Pieter Katoen |
Năm: |
2008 |
|
[4] Baeten, J.C.M (2004), "A brief history of process algebra", Rapport CSR 04- 02 (Vakgroep Informatica, Technische Universiteit Eindhoven) |
Sách, tạp chí |
Tiêu đề: |
A brief history of process algebra |
Tác giả: |
Baeten, J.C.M |
Năm: |
2004 |
|
[5] Baeten, J.C.M., Bravetti (2005),"A Generic Process Algebra", Algebraic Pro- cess Calculi: The First Twenty Five Years and Beyond (BRICS Notes Series NS-05-3), Bertinoro, Forl, Italy: BRICS, Department of Computer Science, University of Aarhus |
Sách, tạp chí |
Tiêu đề: |
A Generic Process Algebra |
Tác giả: |
Baeten, J.C.M., Bravetti |
Năm: |
2005 |
|
[6] B. Schlich, S. Kowalewski (2009), "Model checking c source code for embed- ded systems", International Journal on Software Tools for Technology Trans- fer (STTT), vol. 11, no. 3, pp. 187 – 202 |
Sách, tạp chí |
Tiêu đề: |
Model checking c source code for embed-ded systems |
Tác giả: |
B. Schlich, S. Kowalewski |
Năm: |
2009 |
|
[7] C. A. R. Hoare (1985), Communicating Sequential Processes, International Series in Computer Science, Prentice-Hall |
Sách, tạp chí |
Tiêu đề: |
Communicating Sequential Processes |
Tác giả: |
C. A. R. Hoare |
Năm: |
1985 |
|
[8] D. Beyer, T. A. Henzinger, G. Thoduloz, "Configurable software verification:Concretizing the convergence of model checking and program analysis", In Conf. on Computer Aided Verification (CAV) |
Sách, tạp chí |
Tiêu đề: |
Configurable software verification:Concretizing the convergence of model checking and program analysis |
|
[9] Edmund M. Clarke, Armin Biere, Richard Raimi, Yunshan Zhu (2001),"Bounded Model Checking Using Satisfiability Solving", Formal Methods in System Design 19(1), pp. 7-34 |
Sách, tạp chí |
Tiêu đề: |
Bounded Model Checking Using Satisfiability Solving |
Tác giả: |
Edmund M. Clarke, Armin Biere, Richard Raimi, Yunshan Zhu |
Năm: |
2001 |
|
[10] Edmund M. Clarke, Bernd-Holger Schlingloff (2001), Model Checking, Handbook of Automated Reasoning, pp. 1635-1790 |
Sách, tạp chí |
Tiêu đề: |
Model Checking |
Tác giả: |
Edmund M. Clarke, Bernd-Holger Schlingloff |
Năm: |
2001 |
|
[11] Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla (1986), "Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Spec- ifications", ACM Trans. Program. Lang. Syst. 8(2), pp. 244-263 |
Sách, tạp chí |
Tiêu đề: |
AutomaticVerification of Finite-State Concurrent Systems Using Temporal Logic Spec-ifications |
Tác giả: |
Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla |
Năm: |
1986 |
|
[12] F. Lerda, W. Visser (2001), "Addressing dynamic issues of program model checking", Proceedings of the 8th international SPIN workshop on Model checking of software, Toronto, Ontario, Canada: Springer-Verlag New York, Inc., pp. 80–102 |
Sách, tạp chí |
Tiêu đề: |
Addressing dynamic issues of program modelchecking |
Tác giả: |
F. Lerda, W. Visser |
Năm: |
2001 |
|
[13] G.Barrett (1995), "Model checking in practice: The T9000 Virtual Chan- nel Processor", IEEE Transactions on Software Engineering 21 (2): 69–78.doi:10.1109/32.345823 |
Sách, tạp chí |
Tiêu đề: |
Model checking in practice: The T9000 Virtual Chan-nel Processor |
Tác giả: |
G.Barrett |
Năm: |
1995 |
|
[14] Jean-Pierre Queille, Joseph Sifakis (1982), "A Temporal Logic to Deal with Fairness in Transition Systems", FOCS, pp. 217-225 |
Sách, tạp chí |
Tiêu đề: |
A Temporal Logic to Deal withFairness in Transition Systems |
Tác giả: |
Jean-Pierre Queille, Joseph Sifakis |
Năm: |
1982 |
|
[15] Joseph Albahari, Threading in C#, Books on C# and .Net of Joseph Albahari |
Sách, tạp chí |
|
[16] Jun Sun, Yang Liu, Jin Song Dong, Chun Qing Chen (2009), "Integrating Specification and Programs for System Modeling and Verification", The 3rd IEEE International Symposium on Theoretical Aspects of Software Engineer- ing, pp. 127 - 135 |
Sách, tạp chí |
Tiêu đề: |
IntegratingSpecification and Programs for System Modeling and Verification |
Tác giả: |
Jun Sun, Yang Liu, Jin Song Dong, Chun Qing Chen |
Năm: |
2009 |
|
[17] Jun Sun, Yang Liu, Jin Song Dong (2008), "Model Checking CSP Revisited:Introducing a Process Analysis Toolkit", pp. 307-322, Porto Sani, Greece |
Sách, tạp chí |
Tiêu đề: |
Model Checking CSP Revisited:Introducing a Process Analysis Toolkit |
Tác giả: |
Jun Sun, Yang Liu, Jin Song Dong |
Năm: |
2008 |
|
[18] J. Sun, Y. Liu, J. S. Dong, H. H. Wang (2008), "Specifying and Verify- ing Event-based Fairness Enhanced Systems", In Proceedings of the 10th In- ternational Conference on Formal Engineering Methods(ICFEM 2008), pp.318–337, Springer |
Sách, tạp chí |
Tiêu đề: |
Specifying and Verify-ing Event-based Fairness Enhanced Systems |
Tác giả: |
J. Sun, Y. Liu, J. S. Dong, H. H. Wang |
Năm: |
2008 |
|
[19] K. Havelund, T. Pressburger (2000), "Model checking java programs us- ing java pathfinder", International Journal on Software Tools for Technology Transfer (STTT), vol. 2, no. 4, pp. 366 – 381 |
Sách, tạp chí |
Tiêu đề: |
Model checking java programs us-ing java pathfinder |
Tác giả: |
K. Havelund, T. Pressburger |
Năm: |
2000 |
|
[20] Matthew Hennessy, Algebraic Theory of Processes, The MIT Press, ISBN 0-262-08171-7 |
Sách, tạp chí |
Tiêu đề: |
Algebraic Theory of Processes |
|