Borrow it
 African Studies Library
 Alumni Medical Library
 Astronomy Library
 Fineman and Pappas Law Libraries
 Frederick S. Pardee Management Library
 Howard Gotlieb Archival Research Center
 Mugar Memorial Library
 Music Library
 Pikering Educational Resources Library
 School of Theology Library
 Science & Engineering Library
 Stone Science Library
The Resource Computer Aided Verification : Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings, edited by Gregor Bochmann, David Karl Probst, (electronic resource)
Computer Aided Verification : Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings, edited by Gregor Bochmann, David Karl Probst, (electronic resource)
Resource Information
The item Computer Aided Verification : Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings, edited by Gregor Bochmann, David Karl Probst, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.This item is available to borrow from all library branches.
Resource Information
The item Computer Aided Verification : Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings, edited by Gregor Bochmann, David Karl Probst, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.
This item is available to borrow from all library branches.
 Summary
 This volume gives the proceedings of the Fourth Workshop on ComputerAided Verification (CAV '92), held in Montreal, June 29  July 1, 1992. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for the computeraided verification of concurrent systems. The workshops provide an opportunity for comparing various verification methods and practical tools that can be used to assist the applications designer. Emphasis is placed on new research results and the application of existing results to real verification problems. The volume contains 31 papers selected from 75 submissions. These are organized into parts on reduction techniques, proof checking, symbolic verification, timing verification, partialorder approaches, case studies, model and proof checking, and other approaches. The volume starts with an invited lecture by Leslie Lamport entitled "Computerhindered verification (humans can do it too)"
 Language
 eng
 Extent
 IX, 426 p.
 Contents

 Computerhindered verification (humans can do it too)
 Modular abstractions for verifying realtime distributed systems
 Layering techniques for development of parallel systems
 Efficient local correctness checking
 Mechanical verification of concurrent systems with TLA
 Using a theorem prover for reasoning about concurrent algorithms
 Verifying a logic synthesis tool in Nuprl: A case study in software verification
 Higherlevel specification and verification with BDDs
 Symbolic bisimulation minimisation
 Towards a verification technique for large synchronous circuits
 Verifying timed behavior automata with nonbinary delay constraints
 Timing verification by successive approximation
 A verification strategy for timing constrained systems
 Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits
 State space caching revisited
 Verification in process algebra of the distributed control of track vehicles—A case study
 Design verification of a microprocessor using branching time regular temporal logic
 A case study in safetycritical design
 Automatic reduction in CTL compositional model checking
 Compositional model checking for lineartime temporal logic
 Property preserving simulations
 Verification with realtime COSPAN
 Modelchecking for realtime systems specified in Lotos
 Decidability of bisimulation equivalences for parallel timer processes
 A proof assistant for symbolic modelchecking
 Tableau recycling
 Crocos: An integrated environment for interactive verification of SDL specifications
 Verifying general safety and liveness properties with integer programming
 Generating diagnostic information for behavioral preorders
 A verification procedure via invariant for extended communicating finitestate machines
 Efficient ?regular language containment
 Faster model checking for the modal MuCalculus
 Isbn
 9783540475729
 Label
 Computer Aided Verification : Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings
 Title
 Computer Aided Verification
 Title remainder
 Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings
 Statement of responsibility
 edited by Gregor Bochmann, David Karl Probst
 Subject

 Software Engineering
 Software engineering
 Software Engineering
 Logic design
 Computer science
 Computer science
 Software Engineering
 Logic design
 Electronics
 Computer Science
 Mathematical Logic and Foundations
 Computer Science
 Logic, Symbolic and mathematical
 Logic, Symbolic and mathematical
 Electronic resources
 Electronics
 Electronics
 Logic design
 Software engineering
 Electronics and Microelectronics, Instrumentation
 Logics and Meanings of Programs
 Logic, Symbolic and mathematical
 Computer Science
 Computer science
 Software engineering
 Language
 eng
 Summary
 This volume gives the proceedings of the Fourth Workshop on ComputerAided Verification (CAV '92), held in Montreal, June 29  July 1, 1992. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for the computeraided verification of concurrent systems. The workshops provide an opportunity for comparing various verification methods and practical tools that can be used to assist the applications designer. Emphasis is placed on new research results and the application of existing results to real verification problems. The volume contains 31 papers selected from 75 submissions. These are organized into parts on reduction techniques, proof checking, symbolic verification, timing verification, partialorder approaches, case studies, model and proof checking, and other approaches. The volume starts with an invited lecture by Leslie Lamport entitled "Computerhindered verification (humans can do it too)"
 http://library.link/vocab/creatorName
 Bochmann, Gregor
 Image bit depth
 0
 LC call number

 QA76.9.L63
 QA76.5913
 QA76.63
 Literary form
 non fiction
 http://library.link/vocab/relatedWorkOrContributorName

 Probst, David Karl.
 SpringerLink
 Series statement
 Lecture Notes in Computer Science,
 Series volume
 663
 http://library.link/vocab/subjectName

 Computer science
 Software engineering
 Logic design
 Logic, Symbolic and mathematical
 Electronics
 Computer Science
 Logics and Meanings of Programs
 Software Engineering
 Electronics and Microelectronics, Instrumentation
 Mathematical Logic and Foundations
 Label
 Computer Aided Verification : Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings, edited by Gregor Bochmann, David Karl Probst, (electronic resource)
 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
 Computerhindered verification (humans can do it too)  Modular abstractions for verifying realtime distributed systems  Layering techniques for development of parallel systems  Efficient local correctness checking  Mechanical verification of concurrent systems with TLA  Using a theorem prover for reasoning about concurrent algorithms  Verifying a logic synthesis tool in Nuprl: A case study in software verification  Higherlevel specification and verification with BDDs  Symbolic bisimulation minimisation  Towards a verification technique for large synchronous circuits  Verifying timed behavior automata with nonbinary delay constraints  Timing verification by successive approximation  A verification strategy for timing constrained systems  Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits  State space caching revisited  Verification in process algebra of the distributed control of track vehicles—A case study  Design verification of a microprocessor using branching time regular temporal logic  A case study in safetycritical design  Automatic reduction in CTL compositional model checking  Compositional model checking for lineartime temporal logic  Property preserving simulations  Verification with realtime COSPAN  Modelchecking for realtime systems specified in Lotos  Decidability of bisimulation equivalences for parallel timer processes  A proof assistant for symbolic modelchecking  Tableau recycling  Crocos: An integrated environment for interactive verification of SDL specifications  Verifying general safety and liveness properties with integer programming  Generating diagnostic information for behavioral preorders  A verification procedure via invariant for extended communicating finitestate machines  Efficient ?regular language containment  Faster model checking for the modal MuCalculus
 Dimensions
 unknown
 Extent
 IX, 426 p.
 File format
 multiple file formats
 Form of item
 electronic
 Isbn
 9783540475729
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Other control number
 10.1007/3540564969
 Other physical details
 online resource.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (DEHe213)9783540475729
 Label
 Computer Aided Verification : Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings, edited by Gregor Bochmann, David Karl Probst, (electronic resource)
 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
 Computerhindered verification (humans can do it too)  Modular abstractions for verifying realtime distributed systems  Layering techniques for development of parallel systems  Efficient local correctness checking  Mechanical verification of concurrent systems with TLA  Using a theorem prover for reasoning about concurrent algorithms  Verifying a logic synthesis tool in Nuprl: A case study in software verification  Higherlevel specification and verification with BDDs  Symbolic bisimulation minimisation  Towards a verification technique for large synchronous circuits  Verifying timed behavior automata with nonbinary delay constraints  Timing verification by successive approximation  A verification strategy for timing constrained systems  Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits  State space caching revisited  Verification in process algebra of the distributed control of track vehicles—A case study  Design verification of a microprocessor using branching time regular temporal logic  A case study in safetycritical design  Automatic reduction in CTL compositional model checking  Compositional model checking for lineartime temporal logic  Property preserving simulations  Verification with realtime COSPAN  Modelchecking for realtime systems specified in Lotos  Decidability of bisimulation equivalences for parallel timer processes  A proof assistant for symbolic modelchecking  Tableau recycling  Crocos: An integrated environment for interactive verification of SDL specifications  Verifying general safety and liveness properties with integer programming  Generating diagnostic information for behavioral preorders  A verification procedure via invariant for extended communicating finitestate machines  Efficient ?regular language containment  Faster model checking for the modal MuCalculus
 Dimensions
 unknown
 Extent
 IX, 426 p.
 File format
 multiple file formats
 Form of item
 electronic
 Isbn
 9783540475729
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Other control number
 10.1007/3540564969
 Other physical details
 online resource.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (DEHe213)9783540475729
Subject
 Computer Science
 Computer Science
 Computer Science
 Computer science
 Computer science
 Computer science
 Electronic resources
 Electronics
 Electronics
 Electronics
 Electronics and Microelectronics, Instrumentation
 Logic design
 Logic design
 Logic design
 Logic, Symbolic and mathematical
 Logic, Symbolic and mathematical
 Logic, Symbolic and mathematical
 Logics and Meanings of Programs
 Mathematical Logic and Foundations
 Software Engineering
 Software Engineering
 Software Engineering
 Software engineering
 Software engineering
 Software engineering
Member of
Library Locations

African Studies LibraryBorrow it771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US42.350723 71.108227


Astronomy LibraryBorrow it725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US42.350259 71.105717

Fineman and Pappas Law LibrariesBorrow it765 Commonwealth Avenue, Boston, MA, 02215, US42.350979 71.107023

Frederick S. Pardee Management LibraryBorrow it595 Commonwealth Avenue, Boston, MA, 02215, US42.349626 71.099547

Howard Gotlieb Archival Research CenterBorrow it771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US42.350723 71.108227


Music LibraryBorrow it771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350723 71.108227

Pikering Educational Resources LibraryBorrow it2 Silber Way, Boston, MA, 02215, US42.349804 71.101425

School of Theology LibraryBorrow it745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350494 71.107235

Science & Engineering LibraryBorrow it38 Cummington Mall, Boston, MA, 02215, US42.348472 71.102257

Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/portal/ComputerAidedVerificationFourth/keLECsoMY/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/ComputerAidedVerificationFourth/keLECsoMY/">Computer Aided Verification : Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings, edited by Gregor Bochmann, David Karl Probst, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Computer Aided Verification : Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings, edited by Gregor Bochmann, David Karl Probst, (electronic resource)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/portal/ComputerAidedVerificationFourth/keLECsoMY/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/ComputerAidedVerificationFourth/keLECsoMY/">Computer Aided Verification : Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings, edited by Gregor Bochmann, David Karl Probst, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>