Verfügbarkeit: Computer aided verification

Computer aided verification: 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin u.a. Springer 1993
Schriftenreihe:	Lecture notes in computer science 697
Schlagworte:	Programmverifikation Verifikation Konferenzschrift > 1993 > Elounda
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	IX, 504 S. graph. Darst.
ISBN:	3540569227 0387569227

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV008197206
003	DE-604
005	19940201
007	t\|
008	930902s1993 gw d\|\|\| \|\|\|\| 10\|\|\| eng d
016	7		\|a 931254604 \|2 DE-101
020			\|a 3540569227 \|9 3-540-56922-7
020			\|a 0387569227 \|9 0-387-56922-7
035			\|a (OCoLC)246322470
035			\|a (DE-599)BVBBV008197206
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-739 \|a DE-384 \|a DE-29T \|a DE-91G \|a DE-19 \|a DE-20 \|a DE-634 \|a DE-83 \|a DE-11 \|a DE-188 \|a DE-706
084			\|a DAT 325f \|2 stub
084			\|a 28 \|2 sdnb
245	1	0	\|a Computer aided verification \|b 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993 ; proceedings \|c Costas Courcoubetis (ed.)
264		1	\|a Berlin u.a. \|b Springer \|c 1993
300			\|a IX, 504 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 697
650	0	7	\|a Programmverifikation \|0 (DE-588)4135576-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Verifikation \|0 (DE-588)4135577-5 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 1993 \|z Elounda \|2 gnd-content
689	0	0	\|a Verifikation \|0 (DE-588)4135577-5 \|D s
689	0		\|5 DE-604
689	1	0	\|a Programmverifikation \|0 (DE-588)4135576-3 \|D s
689	1		\|5 DE-604
700	1		\|a Courcoubetis, Costas \|e Sonstige \|4 oth
711	2		\|a CAV \|n 5 \|d 1993 \|c Elounda \|j Sonstige \|0 (DE-588)2131382-9 \|4 oth
830		0	\|a Lecture notes in computer science \|v 697 \|w (DE-604)BV000000607 \|9 697
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005409235&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-005409235

Datensatz im Suchindex

_version_	1820868049313464320
adam_text	TABLE OF CONTENTS INVITED LECTURE: LOGIC SYNTHESIS AND DESIGN VERIFICATION R. BRAYION (UC BERKELEY) . 1 SESSION 1: HARDWARE VERIFICATION WITH BDDS EFFICIENT VERIFICATION WITH BDDS USING IMPLICITLY CONJOINED INVARIANTS A. HU AND D. DILL (STANFORD U.). 3 PARAMETRIC CIRCUIT REPRESENTATION USING INDUCTIVE BOOLEAN FUNCTIONS A. GUPTA AND A. FISHER (CARNEGIE MELLON U.). 15 AN ITERATIVE APPROACH TO LANGUAGE CONTAINMENT F. BALARIN AND A. SANGIOVANNI-VINCENTELLI (UC BERKELEY). 29 BDD-BASED DEBUGGING OF DESIGNS USING LANGUAGE CONTAINMENT AND FAIR CTL R. HOJATI AND R. BRAYION (UC BERKELEY), R. KURSHAN (AT&T BELL LABS). 41 SESSION 2: METHODS AND TOOLS RELIABLE HASHING WITHOUT COLLISION DETECTION P. WOLPER AND D. LEROY (U. LIEGE). 59 A TOOL FOR SYMBOLIC PROGRAM VERIFICATION AND ABSTRACTION S. GRAF AND C. LOISEAUX (VERIMAG). 71 SYMBOLIC EQUIVALENCE CHECKING J.-C. FERNANDEZ, A. KERBRAI AND L. MOUNIER (VERIMAG). 85 A DECISION ALGORITHM FOR FULL PROPOSITIONAL TEMPORAL LOGIC Y. KESTEN (WEIZMANN INST.), Z. MANNA AND MCGUIRE (STANFORD U.), A. PNUELI (WEIZMANN INST.). 97 REACHABILITY AND RECURRENCE IN EXTENDED FINITE STATE MACHINES: MODULAR VEC TOR ADDITION SYSTEMS A. KRISHNAKUMAR (AT&T BELL LABS). 110 AUTOMATIC GENERATION OF NETWORK INVARIANTS FOR THE VERIFICATION OF ITERATIVE SEQUENTIAL SYSTEMS J.-K. RHO AND F. SOMENZI (U. COLORADO). 123 A GRAPHICAL INTERVAL LOGIC TOOLSET FOR VERIFYING CONCURRENT SYSTEMS G. KUITY, Y. RAMAKRISHNA, L. MOSER, L. DILLON, AND P. MELLIAR-SMITH (UC SANTA BARBARA). 138 SESSION 3: THEOREM PROVING 1 COMBINING MODEL CHECKING AND THEOREM PROVING TO VERIFY PARALLEL PROCESSES H. HUNGAR (U. OLDENBURG). 154 VERIFICATION OF A MULTIPLIER: 64 BITS AND BEYOND R. KURSHAN (AT&T BELL LABS) AND L. LAMPORT (DIGITAL EQUIPM. CORP.). 166 BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/931254604 VIII INVITED LECTURE: PROTOCOL DESIGN FOR AN AUTOMATED HIGHWAY SYSTEM P. VARAIYA (UC BERKELEY). SESSION 4: ANALYSIS OF REAL-TIME SYSTEMS 1 COMPUTING ACCUMULATED DELAYS IN REAL-TIME SYSTEMS VNFTTFL) R. ALUR (AT&T BELL LABS), C. COURCOUBEUS (U. CRETE AND ICS, TUKLLIJ AND T. HENZINGER (CORNELL U.). REACHABILITY ANALYSIS OF PLANAR MULTI-LINEAR SYSTEMS 0. MALER (VERIMAG) AND A. PNUELI (WEIZMANN INST.). AN EFFICIENT ALGORITHM FOR MINIMIZING REAL-TIME TRANSITION SYSTEMS M. YANNAKAKIS AND D. LEE (AT&T BELL LABS). VERIFICATION OF TIMING PROPERTIES OF VHDL C. COURCOUBEUS (U. CRETE AND ICS, FORTH), W. DAMM AND B. JOSKO (U. OLDENBURG). ALTERNATING RQ TIMED AUTOMATA W. LAM AND R. BRAYTON (UC BERKELEY). TIMED MODAL SPECIFICATION - THEORY AND TOOLS K. CERANS (CHALMERS U. OF TECH.), J. GODSKESEN AND K. LARSEN-(AALBORG U.). 181 194 210 225 237 253 SESSION 5: THEOREM PROVING 2 A MECHANICALLY VERIFIED APPLICATION FOR A MECHANICALLY VERIFIED ENVIRONMENT M. WILDING (COMP. LOGIC INC. AND UT AUSTIN) . VERIFICATION OF REAL-TIME SYSTEMS USING PVS N. SHANKAR (SRI INT.). THE FORMAL VERIFICATION OF AN ALGORITHM FOR INTERACTIVE CONSISTENCY UNDER A HYBRID FAULT MODEL P. LINCOLN AND J. RUSHBY (SRI INT.) . COMPUTER-ASSISTED SIMULATION PROOFS J. SDGAARD-ANDERSEN (DENMARK TECH. U.), S. GARLAND, J. GUTIAG, N. LYNCH AND A. POGOSYANTS (MIT). INVITED LECTURE: A VERIFIER AND TIMING ANALYSER FOR SIMPLE IMPERATIVE PROGRAMS M. GORDON (CAMBRIDGE U.) . SESSION 6: ANALYSIS OF REAL-TIME SYSTEMS 2 EFFICIENT VERIFICATION OF PARALLEL REAL-TIME SYSTEMS T. YONEDA AND A. SHIBAYAMA (TOKYO TECH. INST.), B.-H. SCHLINGLOFF (TU MUENCHEN) AND E. CLARKE (CARNEGIE MELLON U.) DELAY ANALYSIS IN SYNCHRONOUS PROGRAMS N. HALBWACHS (IMAG AND STANFORD V.). VERIFYING QUANTITATIVE REAL-TIME PROPERTIES OF SYNCHRONOUS PROGRAMS M. JOURDAN, F. MARANINCHI AND A. OLIVERO (VERIMAG). IX SESSION 7: PROCESS ALGEBRAS AND CALCULI A MODAL LOGIC FOR MESSAGE PASSING PROCESSES M. HENNESSY AND X. LIU (U. SUSSEX). 359 FUNCTIONALITY DECOMPOSITION BY COMPOSITIONAL CORRECTNESS PRESERVING TRANSFORMATION E. BRINKSMA, R. LANGERAK AND P. BROEKROELOFS (U. TWENTE). 371 ON MODEL-CHECKING FOR FRAGMENTS OF P-CALCULUS E. EMERSON (UT AUSTIN), C. JUILA (IBM) AND A. SISTLA (U. ILLINOIS). 385 SESSION 8: PARTIAL ORDERS ON-THE-FLY VERIFICATION WITH STUBBORN SETS A. VALMARI (TAMPERE U. AND TRC FINLAND). 397 ALL FROM ONE, ONE FOR ALL: ON MODEL CHECKING USING REPRESENTATIVES D. PELED (AT&T BELL LABS). 409 VERIFYING TIMED BEHAVIOR AUTOMATA WITH INPUT/OUTPUT CRITICAL RACES D. PROBSI AND H. LI (CONCORDIA U.). 424 REFINING DEPENDENCIES IMPROVES PARTIAL-ORDER VERIFICATION' METHODS P. GODEFROID AND D. PIROTIIN (U. LIEGE). 438 SESSION 9: EXPLOITING SYMMETRY EXPLOITING SYMMETRY IN TEMPORAL LOGIC MODEL CHECKING E. CLARKE (CARNEGIE MELLON U.), T. FILKOM (SIEMENS), S. JHA (CARNEGIE MELLON U.). 450 SYMMETRY AND MODEL CHECKING E. EMERSON (UT AUSTIN) AND A. SISTLA (U. ILLINOIS). 463 GENERATION OF REDUCED MODELS FOR CHECKING FRAGMENTS OF CTL D. DAMS (EINDHOVEN U.), 0. GRUMBERG (AT&T BELL LABS), R. GERTH (EINDHOVEN U.). 479 A STRUCTURAL LINEARIZATION PRINCIPLE FOR PROCESSES R. KURSHAN AND M. MERRITT (AT&T BELL LABS), A. ORDA (TECHNION) AND S. SACHS (UC BERKELEY). 491
any_adam_object	1
building	Verbundindex
bvnumber	BV008197206
classification_rvk	SS 1993 SS 4800
classification_tum	DAT 325f
ctrlnum	(OCoLC)246322470 (DE-599)BVBBV008197206
discipline	Informatik
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV008197206</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19940201</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">930902s1993 gw d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">931254604</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540569227</subfield><subfield code="9">3-540-56922-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387569227</subfield><subfield code="9">0-387-56922-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246322470</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008197206</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer aided verification</subfield><subfield code="b">5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993 ; proceedings</subfield><subfield code="c">Costas Courcoubetis (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 504 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">697</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1993</subfield><subfield code="z">Elounda</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Courcoubetis, Costas</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CAV</subfield><subfield code="n">5</subfield><subfield code="d">1993</subfield><subfield code="c">Elounda</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2131382-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">697</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">697</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005409235&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005409235</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 1993 Elounda gnd-content
genre_facet	Konferenzschrift 1993 Elounda
id	DE-604.BV008197206
illustrated	Illustrated
indexdate	2025-01-10T13:18:12Z
institution	BVB
institution_GND	(DE-588)2131382-9
isbn	3540569227 0387569227
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-005409235
oclc_num	246322470
open_access_boolean
owner	DE-739 DE-384 DE-29T DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-634 DE-83 DE-11 DE-188 DE-706
owner_facet	DE-739 DE-384 DE-29T DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-634 DE-83 DE-11 DE-188 DE-706
physical	IX, 504 S. graph. Darst.
publishDate	1993
publishDateSearch	1993
publishDateSort	1993
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Computer aided verification 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993 ; proceedings Costas Courcoubetis (ed.) Berlin u.a. Springer 1993 IX, 504 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 697 Programmverifikation (DE-588)4135576-3 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1993 Elounda gnd-content Verifikation (DE-588)4135577-5 s DE-604 Programmverifikation (DE-588)4135576-3 s Courcoubetis, Costas Sonstige oth CAV 5 1993 Elounda Sonstige (DE-588)2131382-9 oth Lecture notes in computer science 697 (DE-604)BV000000607 697 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005409235&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Computer aided verification 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993 ; proceedings Lecture notes in computer science Programmverifikation (DE-588)4135576-3 gnd Verifikation (DE-588)4135577-5 gnd
subject_GND	(DE-588)4135576-3 (DE-588)4135577-5 (DE-588)1071861417
title	Computer aided verification 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993 ; proceedings
title_auth	Computer aided verification 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993 ; proceedings
title_exact_search	Computer aided verification 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993 ; proceedings
title_full	Computer aided verification 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993 ; proceedings Costas Courcoubetis (ed.)
title_fullStr	Computer aided verification 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993 ; proceedings Costas Courcoubetis (ed.)
title_full_unstemmed	Computer aided verification 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993 ; proceedings Costas Courcoubetis (ed.)
title_short	Computer aided verification
title_sort	computer aided verification 5th international conference cav 93 elounda greece june 28 july 1 1993 proceedings
title_sub	5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993 ; proceedings
topic	Programmverifikation (DE-588)4135576-3 gnd Verifikation (DE-588)4135577-5 gnd
topic_facet	Programmverifikation Verifikation Konferenzschrift 1993 Elounda
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005409235&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT courcoubetiscostas computeraidedverification5thinternationalconferencecav93eloundagreecejune28july11993proceedings AT cavelounda computeraidedverification5thinternationalconferencecav93eloundagreecejune28july11993proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge