-
Towards an Isabelle theory for distributed, interactive systems
Kausch, Hendrik ; Pfeiffer, Mathias ; Raco, Deni ; Rumpe, Bernhard ; Stüber, Sebastian ; Wollenhaupt, Lucas 2025 Shaker Verlag
-
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
-
Efficient Batch Verification for UP
Reingold, Omer ; Rothblum, Guy N. ; Rothblum, Ron D. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Verification of B+ trees: an experiment combining shape analysis and interactive theorem proving
Ernst, Gidon ; Schellhorn, Gerhard ; Reif, Wolfgang ; Barthe, Gilles ; Pardo, Alberto ; Schneider, Gerardo 2011 Universität Augsburg
-
Interactive systems – design, specification, and verification ; Bocca di Magra, Italy, June 1994
Paternò, Fabio 1995 Springer
-
Analysis and synthesis of interactive component and connector systems
Ringert, Jan Oliver ; Rumpe, Bernhard ; Chechik, Marsha 2022 Universitätsbibliothek der RWTH Aachen
-
User Interaction in Deductive Interactive Program Verification
Grebing, Sarah ; Beckert, B. 2019 KIT-Bibliothek
-
Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum
Marmsoler, Diego ; Broy, Manfred ; Knapp, Alexander 2019 Universitätsbibliothek der TU München
-
Verifying Concurrent Systems with Symbolic Execution – Temporal Reasoning is Symbolic Execution with a Little Induction
Balser, Michael 2006 Shaker
-
Interactive Verification of Synchronous Systems
Gesell, Manuel ; Schneider, Klaus 2015 Technische Universität Kaiserslautern
-
A Correct by Construction Fault Tolerant Voter for Input Selection of a Control System
Ali AP, Arif ; Babu, Jasine ; John, Deepa Sara 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Interactive Systems: Design, Specification, and Verification – 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994
Paternò, Fabio 1995 Springer Berlin Heidelberg
-
Advances in Information and Computer Security – 5th International Workshop on Security, IWSEC 2010, Kobe, Japan, November 22-24, 2010. Proceedings
Echizen, Isao ; Kunihiro, Noboru ; Sasaki, Ryoichi 2010 Springer Berlin Heidelberg
-
Interactive systems – design, specification, and verification ; 15th international workshop ; proceedings
Graham, Thomas C. Nicholas 2008 Springer
-
Interactive systems – design, specification, and verification ; 13th international workshop ; revised papers
Doherty, Gavin 2007 Springer
-
Interactive systems – design, specification, and verification : 12th international workshop ; revised papers
Gilroy, Stephen W. 2006 Springer
-
Interactive systems – design, specification, and verification ; 10th international workshop ; revised papers
Jorge, Joaquim A. 2003 Springer
-
Interactive Systems – design, specification, and verification ; 9th international workshop ; revised papers
Forbrig, Peter 2002 Springer
-
Interactive systems – design, specification, and verification ; 8th international workshop ; revised papers
Johnson, Chris 2001 Springer
-
Interactive systems – design, specification, and verification ; 7th international workshop ; revised papers
Palanque, Philippe 2001 Springer