„Model-checking“

Suchergebnisse

1.904 Treffer

• Foundations of information and knowledge systems – 7th international symposium ; proceedings
  Lukasiewicz, Thomas ; Sali, Attila 2012 Springer
• Technological innovation for value creation – proceedings
  Camarinha-Matos, Luis M. ; Shahamatnia, Ehsan ; Nunes, Gonçalo 2012 Springer
• Model checking unbounded concurrent lists
  Sethi, Divjyot ; Talupur, Muralidhar ; Malik, Sharad
• Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking
  Woźna-Szcześniak, Bożena ; Zbrzezny, Andrzej
• Algebraic and numeric biology – 4th international conference ; revised selected papers
  Horimoto, Katsuhisa ; Nakatsui, Masahiko ; Popov, Nikolaj 2012 Springer
• Verification, model checking, and abstract interpretation – 13th international conference ; proceedings
  Kuncak, Viktor ; Rybalchenko, Andrey 2012 Springer
• Static byte-code analysis for state space reduction
  Quirós Araya, Gustavo Arturo 2007 Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
• Automated program repair using genetic programming and model checking
  Zojaji, Zahra ; Ladani, Behrouz Tork ; Khalilian, Alireza
• Timing consistency checking for UML/MARTE behavioral models
  Choi, Jinho ; Jee, Eunkyoung ; Bae, Doo-Hwan
• Information computing and applications
  2011 Springer
• Information computing and applications
  2011 Springer
• Theory of security and applications – joint workshop ; revised selected papers
  Mödersheim, Sebastian ; Palamidessi, Catuscia 2012 Springer
• Software engineering, business continuity, and education – international conferences ; proceedings
  Kim, T'ae-hun ; Adeli, Hojjat ; Kim, Haeng-kon ; Kang, Heau-jo ; Kim, Kyung Jung ; Kiumi, Akingbehin ; Kang, Byeong-Ho 2011 Springer
• Model-Checking zur Analyse von Message Sequence Charts über Statecharts
  Canver, Ercüment 2010 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• First-order model checking on generalisations of pushdown graphs
  Kartzow, Alexander
• Model checking learning agent systems using Promela with embedded C code and abstraction
  Kirwan, Ryan ; Miller, Alice ; Porr, Bernd
• Programming languages and systems – 9th Asian symposium ; proceedings
  Yang, Hongseok 2011 Springer
• Integrating system and software modeling – revised papers
  Ober, Iulian ; Ober, Ileana 2011 Springer
• Invariantengenerierung für die Verifikation von System-on-Chip-Protokollimplementierungen
  Thalmaier, Max 2011 dissertation.de - Verl. im Internet
• Efficient family-based model checking via variability abstractions
  Dimovski, Aleksandar S. ; Al-Sibahi, Ahmad Salim ; Brabrand, Claus ; Wa̢sowski, Andrzej