Bienvenue chez nous!
Logo Ex Libris

Verifying Concurrent Systems with Symbolic Execution

  • Couverture cartonnée
  • 241 Nombre de pages
(0) Donner la première évaluation
Évaluations
(0)
(0)
(0)
(0)
(0)
Afficher toutes les évaluations
Texte du rabat Symbolic execution is an intuitive strategy to verify sequential programs, which can be automated to a large extent... Lire la suite
CHF 69.00
Habituellement expédié sous 4 à 5 jours ouvrés.

Description

Texte du rabat

Symbolic execution is an intuitive strategy to verify sequential programs, which can be automated to a large extent. We have successfully carried over this method of proof to the interactive verification of concurrent systems. The resulting strategy can be applied to the verification of complex parallel programs and arbitrary (linear) temporal formulas. Gur underlying logic is defined such that operators for parallel programs and temporal logic can be arbitrarily nested. We support interleaving with explicit blocking, nondeterministic choice, and others. Most important, the sernantics of all of the operators are compositional. Thus, systems can be abstracted and proofs can be decomposed. This ensures that our strategy of proof can be applied to the verification of large, concurrent systems.

Informations sur le produit

Titre: Verifying Concurrent Systems with Symbolic Execution
Sous-titre: Temporal Reasoning is Symbolic Execution with a Little Induction
Auteur:
Code EAN: 9783832250744
ISBN: 3832250743
Format: Couverture cartonnée
Genre: Logiciels utilisateurs
nombre de pages: 241
Poids: 438g
Taille: H241mm x B172mm x T17mm
Parution: 01.05.2006
Année: 2006

Évaluations

Vue d’ensemble

Mes évaluations

Évaluez cet article