Verification of distributed applications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4680 LNCS, Issue , 2007, Pages 315-328

  Langenstein, Bruno ^a   Nonnengart, Andreas ^a   Rock, Georg ^a   Stephan, Werner ^a  

^a GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

PROBLEM SOLVING; SECURITY OF DATA; VERIFICATION;

DISTRIBUTED APPLICATIONS; DISTRIBUTED INSTANCES; VERIFICATION SUPPORT ENVIRONMENT (VSE);

DISTRIBUTED COMPUTER SYSTEMS;

EID: 38149030903     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75101-4_31     Document Type: Conference Paper

References (9)

1. The Verisoft Consortium: The verisoft project, http://www.verisoft.de
2. Cheikhrouhou, L., Rock, G., Stephan, W., Schwan, M., Lassmann, G.: Verifying a chip-card-based biométrie identification protocol in vse. In: Górski, J. (ed.) SAFECOMP 2006. LNCS, vol. 4166, Springer, Heidelberg (2006)
3. Paulson, L.C.: The inductive approach to verifying cryptographic protocols. Journal of Computer Security 6, 85-128 (1998)
4. Mantel, H.: Information flow control and applications -bridging a gap. In: Oliveira, J.N., Zave, P. (eds.) FME 2001. LNCS, vol. 2021, Springer, Heidelberg (2001)
5. De Roever, W.P.: Concurrency Verification - Introduction to Compositional and Noncompositional Methods. Cambridge University Press, Cambridge (2001)
6. Gargano, M., Hillebrand, M., Leinenbach, D., Paul, W.: On the correctness of operating system kernels. In: Hurd, J., Melham, T. (eds.) TPHOLs 2005. LNCS, vol. 3603, pp. 1-16. Springer, Heidelberg (2005)
7. Schirmer, N.: A verification environment for sequential imperative programs in isabelle/hol. In: Baader, F., Voronkov, A. (eds.) LPAR 2004. LNCS (LNAI), vol. 3452, pp. 398-414. Springer, Heidelberg (2005)
8. Hutter, D., Langenstein, B., Sengler, C., Siekmann, J.H., Stephan, W., Wolpers, A.: Deduction in the Verification Support Environment (VSE). In: Gaudel, M.-C., Woodcock, J.C.P. (eds.) FME 1996. LNCS, vol. 1051, Springer, Heidelberg (1996)
9. Lamport, L.: Specifying Systems - The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, Reading (2003)