The Resource Computer Aided Verification : 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings, edited by Pierre Wolper, (electronic resource)

Computer Aided Verification : 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings, edited by Pierre Wolper, (electronic resource)

Label
Computer Aided Verification : 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings
Title
Computer Aided Verification
Title remainder
7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings
Statement of responsibility
edited by Pierre Wolper
Creator
Contributor
Editor
Provider
Subject
Language
eng
Summary
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
Member of
http://library.link/vocab/creatorName
Wolper, Pierre
Image bit depth
0
LC call number
  • QA76.9.L63
  • QA76.5913
  • QA76.63
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
SpringerLink
Series statement
Lecture Notes in Computer Science,
Series volume
939
http://library.link/vocab/subjectName
  • Computer science
  • Software engineering
  • Logic design
  • Artificial intelligence
  • Electronics
  • Computer Science
  • Logics and Meanings of Programs
  • Software Engineering
  • Mathematical Logic and Formal Languages
  • Electronics and Microelectronics, Instrumentation
  • Special Purpose and Application-Based Systems
  • Artificial Intelligence (incl. Robotics)
Label
Computer Aided Verification : 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings, edited by Pierre Wolper, (electronic resource)
Instantiates
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
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 basic parallel 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
Dimensions
unknown
Extent
XII, 456 p.
File format
multiple file formats
Form of item
electronic
Isbn
9783540494133
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/3-540-60045-0
Other physical details
online resource.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(DE-He213)978-3-540-49413-3
Label
Computer Aided Verification : 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings, edited by Pierre Wolper, (electronic resource)
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
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 basic parallel 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
Dimensions
unknown
Extent
XII, 456 p.
File format
multiple file formats
Form of item
electronic
Isbn
9783540494133
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/3-540-60045-0
Other physical details
online resource.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(DE-He213)978-3-540-49413-3

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...