Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings
This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Liège, Belgium in July 1995. The book contains the 31 refereed full research papers selected for presentation at CAV '95 as well as abstracts or full papers of the t...
সংরক্ষণ করুন:
| সংস্থা লেখক: | |
|---|---|
| অন্যান্য লেখক: | |
| বিন্যাস: | Livre numérique |
| ভাষা: | Anglais |
| প্রকাশিত: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| মালা: | Lecture notes in computer science
939 |
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| টীকা: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Computer aided verification, 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995, proceedings, edited by Pierre Wolper, 1995, Berlin, Springer-Verlag, 1 vol. (x-450 p.), Lecture notes in computer science, 3-540-60045-0 • Computer Aided Verification, Texte imprimé, 9783662172216 |
| LEADER | 05757nam a22004577a 4500 | ||
|---|---|---|---|
| 001 | 945070 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155213407 | ||
| 020 | |a 9783540494133 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 004.24015113 | ||
| 111 | 2 | |a International conference on computer-aided verification |n (07 |d :1995 |c :Liège, Belgique). | |
| 245 | 1 | 0 | |a Computer aided verification : |b 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings |c [edited by] Pierre Wolper. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 939 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Multipliers and dividers: Insights on arithmetic circuit verification (extended abstract) -- Global rebuilding of OBDDs avoiding memory requirement maxima -- Generating BDD models for process algebra terms -- Hardware verification using monadic second-order logic -- Verifying safety properties of a class of infinite-state distributed algorithms -- Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving -- CAVEAT: technique and tool for computer aided verification and transformation -- An integration of model checking with automated proof checking -- Automatic datapath abstraction in hardware systems -- Toupie=?-calculus+constraints -- Safety property verification of Esterel programs and applications to telecommunications software -- Methods for Mu-calculus model checking: A tutorial -- Efficient checking of behavioural relations and modal assertions using fixed-point inversion -- It usually works: The temporal logic of stochastic systems -- Local liveness for compositional modeling of fair reactive systems -- Trace theoretic verification of asynchronous circuits using unfoldings -- From duration calculus to linear hybrid automata -- Local model checking for real-time systems -- Algorithmic analysis of nonlinear hybrid systems -- On polynomial-size programs winning finite-state games -- The rabin index and chain automata, with applications to automata and games -- An automata-theoretic approach to fair realizability and synthesis -- Supervisory control of finite state machines -- Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form -- Utilizing symmetry when model checking under fairness assumptions: An automata-theoretic approach -- Augmenting branching temporal logics with existential quantification over atomic propositions -- Modelling asynchrony with a synchronous model -- On the model checking problem for branching time logics and basicparallel processes -- Using formal verification/analysis methods on the critical path in system design: A case study -- Automated analysis of an audio control protocol -- Interactively verifying a simple real-time scheduler -- Verification of real-time systems by successive over and under approximation -- Efficient timing analysis of a class of Petri nets -- Verifying ?-regular properties for a subclass of linear hybrid systems. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Liège, Belgium in July 1995. The book contains the 31 refereed full research papers selected for presentation at CAV '95 as well as abstracts or full papers of the three invited presentations. Originally oriented towards finite-state concurrent systems, CAV now covers all styles of verification approaches and a variety of application areas. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations. Beyond finite-state systems, real-time systems and hybrid systems are an important part of the conference. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Logiciels |x Essais | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Évaluation | ||
| 650 | |a Informatique | ||
| 650 | |a Logiciels |x Vérification | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Wolper, Pierre, |d 1955- |4 pbd | |
| 776 | 0 | |0 024239151 |t Computer aided verification |o 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 |o proceedings |f edited by Pierre Wolper |d 1995 |c Berlin |n Springer-Verlag |p 1 vol. (x-450 p.) |s Lecture notes in computer science |z 3-540-60045-0 | |
| 776 | 0 | |t Computer Aided Verification |b Texte imprimé |z 9783662172216 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-60045-0 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-1V5CB1K5-W |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:74791396X |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-60045-0 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750926716 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-60045-0 |z Accès INSA CVL | |
| 997 | |0 945070 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||