Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings - Couverture souple

Couverture souple

ISBN 10 : 3662194023 ISBN 13 : 9783662194027

Synopsis

Une classe déterminable d'automates chronométrés.- Vérification du système en temps réel à l'aide de réseaux P/T.- Critères pour la propriété de chemin simple dans les automates temporisés.- Représentations hiérarchiques des fonctions discrètes, avec application à la vérification du modèle.- Vérification symbolique avec ensembles périodiques.- Vérification automatique du contrôle par microprocesseur pipeliné.- Utilisation d'abstractions pour la vérification de linéaire Systèmes hybrides. Décidabilité des systèmes hybrides avec inclusions différentielles rectangulaires.- Automates de suspension : une classe décidable d'automates hybrides.- Vérification des systèmes chronométrés sans contexte à l'aide d'observateurs hybrides linéaires.- Sur la méthode de marche aléatoire pour les tests de protocole.- Une approche théorique des automates pour la vérification du modèle de ramification (abstrait étendu).- Réalisation et synthèse de la modulation réactive es.- Vérification du modèle des processus macro-techniques.- Méthodologie et système de vérification formelle pratique du matériel réactif.- Modélisation et vérification d'un protocole de vie réelle à l'aide de la vérification de modèle symbolique.- Vérification d'une mémoire cache distribuée par des abstractions.- Au-delà de la vérification de modèle.- Modèles dont les contrôles n'explosent pas.- Sur le calcul automatique des invariants du réseau.- Logique temporelle de la terre : une logique pour vérification du matériel. Un modèle hybride pour raisonner sur les systèmes matériels composés.- Composer les résultats d'évaluation de trajectoire symbolique.- L'exhaustivité d'un système d'inférence matérielle.- Vérification efficace du modèle par ordre automatisé des partitions de relation de transition.- Le problème de vérification pour une remplaçabilité sûre.- Équivalence dépendante de la formule pour la vérification du modèle CTL compositionnel.- Un algorithme amélioré pour l'évaluation de expression fixpoint s.- Vérification incrémentale du modèle dans le mu-calcul modal.- Amélioration des performances de l'exploration spatiale d'état par des fonctions de hachage régulières et différentielles.- Combinant des réductions d'ordre partielles avec un contrôle de modèle à la volée.- Amélioration du contenus de la langue à l'aide de graphiques d'équité.- Un algorithme parallèle pour les problèmes de partition relationnels les plus grossiers et sa mise en œuvre.- Un autre regard sur la vérification du modèle LTL ing.- Le travail de mobilité bench - Un outil pour le ?-Calculus.- Sémantique compositionnelle de l'Estérel et vérification par réductions de composition.- Vérification du modèle par état adaptatif et abstraction de données.- Vérification automatique des circuits chronométrés.

Détails de l'édition

• Langue: anglais
• ISBN 10: 3662194023
• ISBN 13: 9783662194027
• Reliure: Broché
• Coordonnées du fabricant: non disponible
• Personne responsable: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; 0; Hamburg; 22391; Allemagne