„Software model checking“

Suchergebnisse

732 Treffer

• Model checking techniques for design and analysis of future hardware and software systems
  Märcker, Steffen 2020
• Preface to the special issue on Probabilistic Model Checking
  Baier, Christel ; Kwiatkowska, Marta Z.
• Verified Model Checking for Conjunctive Positive Logic
  Abuin, Alex ; Cerio, Unai Diaz de ; Hermo, Montserrat ; Lucio, Paqui
• Certifying proofs for SAT-based model checking
  Griggio, Alberto ; Roveri, Marco ; Tonetta, Stefano
• An efficient content-based satellite image retrieval system for big data utilizing threshold based checking method
  T, Sunitha ; T.S, Sivarani
• Learning and analysis of sensors behavior in IoT systems using statistical model checking
  Chehida, Salim ; Baouya, Abdelhakim ; Bensalem, Saddek ; Bozga, Marius
• Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019
  Kordon, Fabrice ; Hillah, Lom Messan ; Hulin-Hubard, Francis ; Jezequel, Loïg ; Paviot-Adet, Emmanuel
• Directed model checking with distance-preserving abstractions
  Dräger, Klaus ; Finkbeiner, Bernd ; Podelski, Andreas
• Testing of software and communication systems – 21st IFIP WG 6.1 international conference ; proceedings
  Núñez, Manuel 2009 Springer
• Tests and proofs – first international conference ; revised papers
  Gurevich, Yuri 2007 Springer
• Tools and algorithms for the construction and analysis of systems – 13th international conference ; proceedings
  Grumberg, Orna 2007 Springer
• Automated technology for verification and analysis – 4th international symposium ; proceedings
  Graf, Susanne 2006 Springer
• Consistency management of object-oriented behavioral models
  Küster, Jochen M.
• Model checking software – proceedings
  Graf, Susanne 2004 Springer
• Tools and algorithms for the construction and analysis of systems – 10th international conference ; proceedings
  Jensen, Kurt 2004 Springer
• Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories : an approach to verify safety properties in embedded and hybrid system models
  Mahdi, Ahmed ; Fränzle, Martin ; Becker, Bernd ; Theel, Oliver 2017 BIS der Universität Oldenburg
• Games, Actions and Social Software – Multidisciplinary Aspects
  Eijck, Jan ˜vanœ ; Verbrugge, Rineke 2012 Springer Berlin Heidelberg
• 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
• A coverification framework
  Ache Garcez, Edelweis Helena