„Model-checking“

Suchergebnisse

1.904 Treffer

• Halbordnungs- und Reduktionstechniken für die automatische Verifikation von verteilten Systemen
  Schröter, Claus
• Modellgenerierung für die SAT-basierte Eigenschaftsprüfung
  Wedler, Markus
• Verifying concurrent systems with symbolic execution – temporal reasoning is symbolic execution with a little induction
  Balser, Michael
• Symbolic semantics and verification of stochastic process algebras – = Symbolische Semantik und Verifikation stochastischer Prozessalgebren
  Kuntz, Matthias
• On games and logics over dynamically changing structures
  Rohde, Philipp
• Modellbasierter Modultest softwareintensiver, technischer Systeme mit Real-Time Object-Oriented Modeling
  Robinson-Mallett, Christopher
• ParaGraph - Parameterprüfung für intellectual properties
  Jerinić, Vasco
• Model Checking Abstract State Machines
  Winter, Kirsten 2008 VDM Verlag Dr. Müller
• Visuelle Modellierung agentenbasierter Systeme
  Depke, Ralph
• Model checking combined Z and statechart specifications
  Büssow, Robert
• Zum modellbasierten funktionalen Test reaktiver Systeme
  Pretschner, Alexander
• Directed search for the verification of communication protocols
  Lluch Lafuente, Alberto
• Model checking pushdown systems
  Schwoon, Stefan
• Verification of Erlang programs using abstract interpretation and model checking
  Huch, Frank Günter
• Automatic verification of sequential infinite state processes
  Burkart, Olaf 1999 Springer
• Symbolische LTL-Verifikation von Petrinetzen
  Spranger, Jochen
• Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
  Pinger, Ralf
• A framework for checking programmer defined constraints on the definition and use of program elements in Java
  Bokowski, Boris
• Easy instances for model checking
  Frick, Markus
• Model checking abstract state machines
  Winter, Kirsten