„Program Verification“

Suchergebnisse

1.065 Treffer

• Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification – First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
  Lecomte, Thierry ; Pinger, Ralf ; Romanovsky, Alexander 2016 Springer International Publishing
• Web Services, Formal Methods, and Behavioral Types – 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
  Hildebrandt, Thomas ; Ravara, António ; van der Werf, Jan Martijn ; Weidlich, Matthias 2016 Springer International Publishing
• Graphical Models for Security – Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers
  Mauw, Sjouke ; Kordy, Barbara ; Jajodia, Sushil 2016 Springer International Publishing
• Hybrid Systems Biology – Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers
  Maler, Oded ; Halász, Ádám ; Dang, Thao ; Piazza, Carla 2015 Springer International Publishing
• Computer Aided Verification – 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
  2016 Springer International Publishing
• Computer Aided Verification – 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
  Chaudhuri, Swarat ; Farzan, Azadeh 2016 Springer International Publishing
• A Research landscape on formal verification of UML dynamic modeling
  Wu, Runfang ; Du, Ye ; Tang, Yu
• Principles of Verification: Cycling the Probabilistic Landscape – Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
  Jansen, Nils ; Junges, Sebastian ; Kaminski, Benjamin Lucien ; Matheja, Christoph ; Noll, Thomas ; Quatmann, Tim ; Stoelinga, Mariëlle ; Volk, Matthias 2025 Springer Nature Switzerland, Imprint: Springer
• Principles of Verification: Cycling the Probabilistic Landscape – Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
  Jansen, Nils ; Junges, Sebastian ; Kaminski, Benjamin Lucien ; Matheja, Christoph ; Noll, Thomas ; Quatmann, Tim ; Stoelinga, Mariëlle ; Volk, Matthias 2025 Springer Nature Switzerland, Imprint: Springer
• Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification – 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III
  Margaria, Tiziana ; Steffen, Bernhard 2025 Springer Nature Switzerland, Imprint: Springer
• Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems – 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II
  Margaria, Tiziana ; Steffen, Bernhard 2025 Springer Nature Switzerland, Imprint: Springer
• Leveraging Applications of Formal Methods, Verification and Validation. Application Areas – 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V
  Margaria, Tiziana ; Steffen, Bernhard 2025 Springer Nature Switzerland, Imprint: Springer
• Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies – 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV
  Margaria, Tiziana ; Steffen, Bernhard 2025 Springer Nature Switzerland, Imprint: Springer
• Abstract State Machines, Alloy, B, TLA, VDM, and Z – 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
  Butler, Michael ; Schewe, Klaus-Dieter ; Mashkoor, Atif ; Biro, Miklos 2016 Springer International Publishing
• Introduction to Concurrency Theory – Transition Systems and CCS
  Gorrieri, Roberto ; Versari, Cristian 2015 Springer Berlin Heidelberg
• Verification of Sequential and Concurrent Programs
  1991 Springer New York
• Verification of Sequential and Concurrent Programs
  1997 Springer New York
• Checking probabilistic noninterference using JOANA
  Snelting, Gregor ; Giffhorn, Dennis ; Graf, Jürgen ; Hammer, Christian ; Hecker, Martin ; Mohr, Martin ; Wasserrab, Daniel
• Modular specification and verification of object oriented programs
  Müller, Peter 2016 FernUniversität in Hagen
• Issues of Verification and Attestation of Software Programs Used for Calculations of Research Reactors
  Dikova, T. S. ; Bulavin, M. V. ; Rzyanin, M. V.