„Model-checking“

Suchergebnisse

1.904 Treffer

• Automatic verification of behavior preservation at the transformation level for relational model transformation
  Dyck, Johannes ; Giese, Holger ; Lambers, Leen 2017 Universitätsverlag
• Using Graph Transformation Systems to Specify and Verify Data Abstractions
  Baresi, Luciano ; Ghezzi, Carlo ; Mocci, Andrea ; Monga, Mattia 2008 Technische Universität Berlin
• Modular interpreted systems: a preliminary report
  Jamroga, Wojciech ; Ågotnes, Thomas 2006 TU Clausthal, Institut für Informatik
• Games, Actions and Social Software – Multidisciplinary Aspects
  Eijck, Jan ˜vanœ ; Verbrugge, Rineke 2012 Springer Berlin Heidelberg
• Language and automata theory and applications – 6th international conference ; proceedings
  Dediu, Adrian-Horia ; Martín Vide, Carlos 2012 Springer
• Tools and algorithms for the construction and analysis of systems – 14th international conference ; proceedings
  Ramakrishnan, C. R. 2008 Springer
• Hardware and software, verification and testing – revised selected papers
  Bin, Eyal 2007 Springer
• Verification, model checking, and abstract interpretation – 4th international conference ; proceedings
  Zuck, Lenore D. 2003 Springer
• Process algebra and probabilistic methods – performance modeling and verification ; joint international workshop ; proceedings
  DeAlfaro, Luca 2001 Springer
• A coverification framework
  Ache Garcez, Edelweis Helena
• Disentangling the effects of smartphone screen time, checking frequency, and problematic use on executive function: A structural equation modelling analysis
  Toh, Wei Xing ; Ng, Wee Qin ; Yang, Hwajin ; Yang, Sujin
• Inter-Model Consistency Checking and Restoration with Triple Graph Grammars
  Leblebici, Erhan ; Schürr, Andy ; Westfechtel, Bernhard 2018 Universitäts- und Landesbibliothek Darmstadt
• Automatische Generierung von Prozessen im jABC
  Naujokat, Stefan 2012 Universitätsbibliothek Dortmund
• Model-based testing of fault scenarios in production automation
  Rösch, Susanne 2016 Sierke Verlag
• Transactions on Aspect-Oriented Software Development XII
  Chiba, Shigeru ; Tanter, Éric ; Ernst, Erik ; Hirschfeld, Robert 2015 Springer International Publishing
• A divide & conquer approach to liveness model checking under fairness & anti-fairness assumptions
  Ogata, Kazuhiro
• An empirical study on the potential usefulness of domain models for completeness checking of requirements
  Arora, Chetan ; Sabetzadeh, Mehrdad ; Briand, Lionel C.
• On simulation-based probabilistic model checking of mixed-analog circuits
  Clarke, Edmund ; Donzé, Alexandre ; Legay, Axel
• Lessons Learned from Model Checking a NASA Robot Controller
  Sharygina, Natasha ; Browne, James ; Xie, Fei ; Kurshan, Robert ; Levin, Vladimir
• An integrated environment for Spin-based C code checking – Towards bringing model-driven code checking closer to practitioners
  Ratiu, Daniel ; Ulrich, Andreas