000			04934nam a22005775i 4500
001			978-3-540-48469-1
003			DE-He213
005			20160624102035.0
007			cr nn 008mamaa
008			121227s1994 gw | s |||| 0|eng d
020			_a9783540484691 _9978-3-540-48469-1
024	7		_a10.1007/3-540-58179-0 _2doi
050		4	_aQA76.9.L63
050		4	_aQA76.5913
050		4	_aQA76.63
072		7	_aUM _2bicssc
072		7	_aUYF _2bicssc
072		7	_aCOM051000 _2bisacsh
072		7	_aCOM036000 _2bisacsh
082	0	4	_a005.1015113 _223
245	1	0	_aComputer Aided Verification _h[electronic resource] : _b6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings / _cedited by David L. Dill.
260		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c1994.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c1994.
300			_aX, 486 p. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aLecture Notes in Computer Science, _x0302-9743 ; _v818
505	0		_aA determinizable class of timed automata -- Real-time system verification using P/T nets -- Criteria for the simple path property in timed automata -- Hierarchical representations of discrete functions, with application to model checking -- Symbolic verification with periodic sets -- Automatic verification of pipelined microprocessor control -- Using abstractions for the verification of linear hybrid systems -- Decidability of hybrid systems with rectangular differential inclusions -- Suspension automata: A decidable class of hybrid automata -- Verification of context-free timed systems using linear hybrid observers -- On the random walk method for protocol testing -- An automata-theoretic approach to branching-time model checking (Extended abstract) -- Realizability and synthesis of reactive modules -- Model checking of macro processes -- Methodology and system for practical formal verification of reactive hardware -- Modeling and verification of a real life protocol using symbolic model checking -- Verification of a distributed cache memory by using abstractions -- Beyond model checking -- Models whose checks don't explode -- On the automatic computation of network invariants -- Ground temporal logic: A logic for hardware verification -- A hybrid model for reasoning about composed hardware systems -- Composing symbolic trajectory evaluation results -- The completeness of a hardware inference system -- Efficient model checking by automated ordering of transition relation partitions -- The verification problem for safe replaceability -- Formula-dependent equivalence for compositional CTL model checking -- An improved algorithm for the evaluation of fixpoint expressions -- Incremental model checking in the modal mu-calculus -- Performance improvement of state space exploration by regular & differential hashing functions -- Combining partial order reductions with on-the-fly model-checking -- Improving language containment using fairness graphs -- A parallel algorithm for relational coarsest partition problems and its implementation -- Another look at LTL model checking -- The mobility workbench — A tool for the ?-Calculus -- Compositional semantics of Esterel and verification by compositional reductions -- Model checking using adaptive state and data abstraction -- Automatic verification of timed circuits.
520			_aThis volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the most important advances achieved in CAV research and applications since the predecessor conference held in June 1993. The volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification.
650		0	_aComputer science.
650		0	_aComputer Communication Networks.
650		0	_aSoftware engineering.
650		0	_aLogic design.
650		0	_aElectronics.
650	1	4	_aComputer Science.
650	2	4	_aLogics and Meanings of Programs.
650	2	4	_aSoftware Engineering.
650	2	4	_aElectronics and Microelectronics, Instrumentation.
650	2	4	_aComputer Communication Networks.
700	1		_aDill, David L. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783540581796
786			_dSpringer
830		0	_aLecture Notes in Computer Science, _x0302-9743 ; _v818
856	4	0	_uhttp://dx.doi.org/10.1007/3-540-58179-0
942			_2EBK6489 _cEBK
999			_c35783 _d35783