„real-time model checking“

Suchergebnisse

1.000+ Treffer

• Modellbasierter Modultest softwareintensiver, technischer Systeme mit Real-Time Object-Oriented Modeling
  Robinson-Mallett, Christopher
• Formal methods for real-time requirements engineering
  Rock, Georg
• Fundamentals of Software Engineering – 6th International Conference, FSEN 2015 Tehran, Iran, April 22–24, 2015, Revised Selected Papers
  Arbab, Farhad ; Sirjani, Marjan 2015 Springer International Publishing
• Formal Methods: Foundations and Applications – 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
  Braga, Christiano ; Martí-Oliet, Narciso 2015 Springer International Publishing
• Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change – 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
  Margaria, Tiziana ; Steffen, Bernhard 2014 Springer Berlin Heidelberg
• From Programs to Systems. The Systems perspective in Computing – ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings
  Bensalem, Saddek ; Sifakis, Joseph ; Lakhneck, Yassine ; Legay, Axel 2014 Springer Berlin Heidelberg
• Tools and Algorithms for the Construction and Analysis of Systems – 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
  Ábrahám, Erika ; Havelund, Klaus 2014 Springer Berlin Heidelberg
• Fundamentals of Software Engineering – 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
  2013 Springer Berlin Heidelberg
• NASA Formal Methods – 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
  Brat, Guillaume ; Rungta, Neha ; Venet, Arnaud 2013 Springer Berlin Heidelberg
• Communications and Information Processing – International Conference, ICCIP 2012 Aveiro, Portugal, March 7-11, 2012 Revised Selected Papers, Part I
  2012 Springer Berlin Heidelberg
• Communications and Information Processing – International Conference, ICCIP 2012, Aveiro, Portugal, March 7-11, 2012, Revised Selected Papers, Part II
  Zhao, Maotai ; Sha, Junping 2012 Springer Berlin Heidelberg
• Fundamentals of Software Engineering – 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
  Arbab, Farhad ; Sirjani, Marjan 2012 Springer Berlin Heidelberg
• Formal techniques in real time and fault tolerant systems – 7th international symposium ; proceedings
  Damm, Werner 2002 Springer
• Formal techniques in real time and fault tolerant systems – 5th international symposium ; proceedings
  Ravn, Anders P. 1999 Springer
• Formal techniques in real time and fault tolerant systems – 6th international symposium ; proceedings
  Joseph, Mathai 2002 Springer
• Model Checking Linear Temporal Properties on Polyhedral Systems
  Benerecetti, Massimo ; Faella, Marco ; Mogavero, Fabio 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Model Checking Timed Recursive CTL
  Bruse, Florian ; Lange, Martin 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Checking WECTLK Properties of TRWISs via SMT-based Bounded Model Checking
  Zbrzezny, Agnieszka M. ; Zbrzezny, Andrzej 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Enhanced Distributed Behavioral Cartography of Parametric Timed Automata (Informal Presentation)
  André, Étienne ; Coti, Camille ; Nguyen, Hoang Gia 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Beschreibung und Verifikation räumlicher und zeitlicher Eigenschaften mobiler Systeme Specification and Verification of Spatio-Temporal Properties of Mobile Systems
  Schäfer, Andreas