„concurrent programs“

Suchergebnisse

118 Treffer

• Global Model Checking of Ordered Multi-Pushdown Systems
  Atig, Mohamed Faouzi 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Testing of Concurrent Programs
  Isabel, Miguel 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verifying Optimizations for Concurrent Programs
  Mansky, William ; Gunter, Elsa L. 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Timing Analysis of Concurrent Programs
  Mittermayr, Robert ; Blieberger, Johann 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)
  Dolby, Julian ; Grumberg, Orna ; Müller, Peter ; Tripp, Omer
• Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191)
  Birkedal, Lars ; Dreyer, Derek ; Gardner, Philippa ; Shao, Zhong
• Transactions on Petri nets and other models of concurrency XVI
  Koutny, Maciej 2022 Springer
• Directed Algebraic Topology and Concurrency
  Fajstrup, Lisbeth ; Goubault, Eric 2016 Springer International Publishing
• Transactions on Petri Nets and Other Models of Concurrency X
  Koutny, Maciej ; Desel, Jörg ; Haddad, Serge 2015 Springer Berlin Heidelberg
• Central European Functional Programming School – 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers
  Zsók, Viktória ; Horváth, Zoltán ; Csató, Lehel 2015 Springer International Publishing
• Leveraging applications of formal methods, verification and validation – 5th international symposium ; proceedings
  Margaria, Tiziana ; Steffen, Bernhard ; Merten, Maik Springer
• Tools and Algorithms for the Construction and Analysis of Systems – 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  2011 Springer Berlin Heidelberg
• Tools and algorithms for the construction and analysis of systems – 17th international conference ; proceedings
  Abdulla, Parosh Aziz ; Leino, K.Rustan M. 2011 Springer
• Advanced slicing of sequential and concurrent programs
  Krinke, Jens 2008 VDM Verlag Dr. Müller
• Concurrent bisimulations in Petri nets
  Best, Eike ; Devillers, Raymond ; Kiehn, Astrid ; Pomello, Lucia
• TaDA Live : Compositional Reasoning for Termination of Fine-grained Concurrent Programs
  D'Osualdo, Emanuele ; Sutherland, Julian ; Farzan, Azadeh ; Gardner, Philippa 2021 KOPS Universität Konstanz
• Verification of sequential and concurrent programs
  Apt, Krzysztof R. ; Olderog, Ernst-Rüdiger 1991 Springer
• Verification of sequential and concurrent programs
  Apt, Krzysztof R. ; Olderog, Ernst-Rüdiger 1997 Springer
• Topology in process calculus – approximate correctness and infinite evolution of concurrent programs
  Ying, Mingsheng 2001 Springer
• The rely-guarantee method for verifying shared variable concurrent programs
  Xu, Qiwen ; Roever, Willem-Paul ˜deœ ; He, Jifeng