A history-based verification of distributed applications

CEUR Workshop Proceedings

Volumn 259, Issue , 2007, Pages 70-84

  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

APPLICATION LEVEL; ASSUME-GUARANTEE REASONING; DISTRIBUTED APPLICATIONS; HARDWARE PLATFORM; SAFETY AND SECURITIES; SPECIFICATION AND VERIFICATION; SUPPORT ENVIRONMENT; VERIFICATION PROBLEMS;

APPLICATION PROGRAMS;

EID: 84884509435     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

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 biometric identification protocol in vse. In: The 25th International Conference on Computer Safety, Security and Reliability (SAFECOMP 2006). (2006)
3. Paulson, L.C.: The inductive approach to verifying cryptographic protocols. Journal of Computer Security 6 (1998) 85-128
4. Mantel, H.: Information flow control and applications - bridging a gap. Lecture Notes in Computer Science 2021 (2001)
5. de Roever, W.P.: Concurrency Verification - Introduction to Compositional and Noncompositional Methods. Cambridge University Press (2001)
6. Gargano, M., Hillebrand, M., Leinenbach, D., Paul, W.: On the correctness of operating system kernels. In Hurd, J., Melham, T.F., eds.: Proceedings of the TPHOLs 05, Springer (2005) 1-16
7. Schirmer, N.: A verification environment for sequential imperative programs in isabelle/hol. In Baader, F., Voronkov, A., eds.: Proceedings of the LPAR 04, Springer (2005) 398-414
8. Hutter, D., Langenstein, B., Sengler, C, Siekmann, J.H., Stephan, W., Wolpers, A.: Deduction in the Verification Support Environment (VSE). In: Proceedings FME96. Volume 1051., Springer (1996)
9. Broy, M., Stolen, K.: Specification and Development of Interactive Systems: FOCUS on Streams, Interfaces and Refinement. Springer (2001)
10. de Boer, F.S., Hannemann, U., de Roever, W.P.: Hoare-style compositional proof systems for reactive shared variable concurency. In: Proceedings of the 17th Conference on Foundations of Software Technology and Theoretical Computer Science, London, UK, Springer-Verlag (1997) 267-283
11. Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer (1991)
12. Lamport, L.: Specifying Systems - The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley (2003)