„Program verification“

Suchergebnisse

1.065 Treffer

• Computer aided verification – 24th international conference ; proceedings
  Madhusudan, Parthasarathy ; Seshia, Sanjit A. 2012 Springer
• Verification of clinically diagnosed cases during malaria elimination programme in Guizhou Province of China
  Yin, Jianhai ; Xia, Zhigui ; Yan, He ; Huang, Yuting ; Lu, Lidan ; Geng, Yan ; Xiao, Ning ; Xu, Jianjun ; He, Ping ; Zhou, Shuisen
• Mechanized semantics of simple imperative programming constructs
  Dold, Axel 1996 Univ., Fak. für Informatik
• Software composition – 11th international conference ; proceedings
  Gschwind, Thomas ; De Paoli, Flavio ; Gruhn, Volker ; Book, Matthias 2012 Springer
• Full contract verification for ATL using symbolic execution
  Oakes, Bentley James ; Troya, Javier ; Lúcio, Levi ; Wimmer, Manuel
• Runtime verification – second international conference ; revised selected papers
  Khurshid, Sarfraz ; Sen, Koushik 2012 Springer
• Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation)
  Chaki, Sagar ; Gurfinkel, Arie ; Strichman, Ofer
• Perspectives of systems informatics – revised selected papers
  Clarke, Edmund M. ; Virbitskaite, Irina ; Voronkov, Andrei 2012 Springer
• Declarative agent languages and technologies IX – 9th international workshop ; revised selected and invited papers
  Sakama, Chiaki ; Sardina, Sebastian ; Vasconcelos, Wamberto ; Winikoff, Michael 2012 Springer
• Checking synchronous programs using automatic abstraction, modular verification and assumption discharge
  Merceron, Agathe 1996 GMD-Forschungszentrum Informationstechnik
• Recent trends in algebraic development techniques – 20th international workshop ; revised selected papers
  Mossakowski, Till ; Kreowski, Hans-Jörg 2012 Springer
• Verification, model checking, and abstract interpretation – 13th international conference ; proceedings
  Kuncak, Viktor ; Rybalchenko, Andrey 2012 Springer
• Certified programs and proofs – first international conference ; proceedings
  Jouannaud, Jean-Pierre ; Shao, Zhong 2011 Springer
• Integrating system and software modeling – revised papers
  Ober, Iulian ; Ober, Ileana 2011 Springer
• Empirical software engineering and verification – international summer schools, LASER 2008 - 2010, Elba Island, Italy ; revised tutorial lectures
  Meyer, Bertrand ; Nordio, Martin 2012 Springer
• Formal modeling – actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
  Agha, Gul ; Talcott, Carolyn L. ; Danvy, Olivier ; Meseguer, José 2011 Springer
• Cybersecurity policy verification with declarative programming
  Hewett, Rattikorn ; Kijsanayothin, Phongphun ; Bak, Stephanie ; Galbrei, Marry
• Introduction to program verification
  Apt, Krzysztof R. ; Olderog, Ernst-Rüdiger 1990 Fachbereich Informatik der Univ.
• Program Verification – Fundamental Issues in Computer Science
  1993 Springer Netherlands
• Static Analysis – 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
  Yahav, Eran 2011 Springer Berlin Heidelberg