„Formal Verification“

Suchergebnisse

1.000+ Treffer

• Towards an Isabelle theory for distributed, interactive systems
  Kausch, Hendrik ; Pfeiffer, Mathias ; Raco, Deni ; Rumpe, Bernhard ; Stüber, Sebastian ; Wollenhaupt, Lucas 2025 Shaker Verlag
• ProFeat – Feature-oriented engineering for family-based probabilistic model checking
  Chrszon, Philipp ; Dubslaff, Clemens ; Klüppelholz, Sascha ; Baier, Christel 2020 Technische Universität Dresden
• A formal verification technique for behavioural model-to-model transformations
  Putter, Sander de ; Wijs, Anton
• Towards an Isabelle theory for distributed, interactive systems
  Bürger, Jens Christoph ; Stüber, Sebastian ; Raco, Deni ; Rumpe, Prof. Dr. rer. nat. Bernhard ; Kausch, Hendrik ; Ringert, Jan Oliver ; Wiartalla, Marc 2020 Shaker Verlag
• Formal Software Engineering of Distributed Systems using Focus-Streams and Automata
  Stüber, Sebastian 2026 Shaker
• Verification of a formal security model for multiapplicative smart cards
  Schellhorn, Gerhard ; Reif, Wolfgang ; Schairer, Axel ; Karger, Paul ; Austel, Vernon ; Toll, David ; Cuppens, Frédéric ; Deswarte, Yves ; Gollmann, Dieter ; Waidner, Michael 2000 Universität Augsburg
• Software Engineering and Formal Methods – 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings
  Hierons, Robert M. ; Merayo, Mercedes G. ; Bravetti, Mario 2014 Springer International Publishing
• Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)
  Beyer, Dirk ; Huisman, Marieke ; Klebanov, Vladimir ; Monahan, Rosemary
• Formal Verification in Automated Manufacturing
  Tang, Yiheng ; Moor, Thomas ; Raisch, Jörg 2024 FAU University Press
• A hybrid formal verification approach for QoS-aware multi-cloud service composition
  Souri, Alireza ; Rahmani, Amir Masoud ; Navimipour, Nima Jafari ; Rezaei, Reza
• A formal verification environment for use in the certification of safety-related C-programs
  Walter, Dennis
• Formal software engineering of distributed systems using focus-streams and automata
  Stüber, Sebastian ; Rumpe, Bernhard ; Grosu, Radu 2025 Universitätsbibliothek der RWTH Aachen
• Dependable Software Engineering. Theories, Tools, and Applications – Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
  Larsen, Kim Guldstrand ; Sokolsky, Oleg ; Wang, Ji 2017 Springer International Publishing
• Agent Technology from a Formal Perspective
  Hinchey, Michael ; Rash, James ; Truszkowski, Walt ; Gordon-Spears, Diana F. ; Rouff, Christopher A. 2006 Springer London
• Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
  Przigoda, Nils ; Wille, Robert ; Przigoda, Judith ; Drechsler, Rolf 2018 Springer International Publishing
• End-To-End Formal Verification of a Fast and Accurate Floating-Point Approximation
  Faissole, Florian ; Geneau de Lamarlière, Paul ; Melquiond, Guillaume 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• FIVER – Robust verification of countermeasures against fault injections
  Richter-Brockmann, Jan ; Rezaei Shahmirzadi, Aein ; Sasdrich, Pascal ; Moradi, Amir ; Güneysu, Tim
• Concise Guide to Formal Methods – Theory, Fundamentals and Industry Applications
  O'Regan, Gerard 2017 Springer International Publishing
• Formal Modeling and Verification of the Functionality of Electronic Urban Railway Control Systems Through a Case Study
  Lukács, Gábor ; Bartha, Tamás
• Formal Verification of mCWQ Using Extended Hoare Logic
  Xie, Wanling ; Zhu, Huibiao ; Wu, Xi ; Cong Vinh, Phan