Computer aided verification: 10th international conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1998
|
| Schriftenreihe: | Lecture notes in computer science
1427 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | IX, 552 S. Ill., graph. Darst. |
| ISBN: | 3540646086 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011949823 | ||
| 003 | DE-604 | ||
| 005 | 20051108 | ||
| 007 | t| | ||
| 008 | 980512s1998 gw ad|| |||| 10||| eng d | ||
| 016 | 7 | |a 953562891 |2 DE-101 | |
| 020 | |a 3540646086 |9 3-540-64608-6 | ||
| 035 | |a (OCoLC)39442609 | ||
| 035 | |a (DE-599)BVBBV011949823 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-739 |a DE-91G |a DE-19 |a DE-634 |a DE-83 |a DE-706 | ||
| 050 | 0 | |a QA76.76.V47 | |
| 082 | 0 | |a 004.24 |2 21 | |
| 084 | |a DAT 325f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Computer aided verification |b 10th international conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedings |c Alan J. Hu ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1998 | |
| 300 | |a IX, 552 S. |b Ill., 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 1427 | |
| 650 | 4 | |a Circuits intégrés - Vérification - Congrès | |
| 650 | 7 | |a Circuits intégrés - Évaluation - Congrès |2 ram | |
| 650 | 7 | |a Conception assistée par ordinateur - Congrès |2 ram | |
| 650 | 7 | |a Ingénierie assistée par ordinateur - Congrès |2 ram | |
| 650 | 4 | |a Logiciels - Vérification - Congrès | |
| 650 | 7 | |a Logiciels - Évaluation - Congrès |2 ram | |
| 650 | 4 | |a Ordinateurs - Vérification - Congrès | |
| 650 | 7 | |a Ordinateurs - Évaluation - Congrès |2 ram | |
| 650 | 7 | |a Software |2 gtt | |
| 650 | 7 | |a Verificatie |2 gtt | |
| 650 | 7 | |a déduction automatique |2 inriac | |
| 650 | 7 | |a méthode formelle |2 inriac | |
| 650 | 7 | |a méthode vérification |2 inriac | |
| 650 | 7 | |a testabilité |2 inriac | |
| 650 | 7 | |a vérification automatique |2 inriac | |
| 650 | 7 | |a vérification matériel |2 inriac | |
| 650 | 4 | |a Computer software |x Verification |v Congresses | |
| 650 | 4 | |a Integrated circuits |x Verification |v Congresses | |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1998 |z Vancouver British Columbia |2 gnd-content | |
| 689 | 0 | 0 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Hu, Alan J. |e Sonstige |4 oth | |
| 711 | 2 | |a CAV |n 10 |d 1998 |c Vancouver, British Columbia |j Sonstige |0 (DE-588)2170269-X |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1427 |w (DE-604)BV000000607 |9 1427 | |
| 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=008079241&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008079241 | |
Datensatz im Suchindex
| _version_ | 1820874874670809088 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
INVITED
PAPERS
SYNCHRONOUS
PROGRAMMING
OF
REACTIVE
SYSTEMS
N.
HALBWACHS
.
1
TEN
YEARS
OF
PARTIAL
ORDER
REDUCTION
D.
PELED
.
17
AN
ACL2
PROOF
OF
WRITE
INVALIDATE
CACHE
COHERENCE
J.
S.
MOORE
.
29
TRANSFORMING
THE
THEOREM
PROVER
INTO
A
DIGITAL
DESIGN
TOOL:
FROM
CONCEPT
CAR
TO
OFF-ROAD
VEHICLE
D.
HARDIN,
M.
WILDING,
D.
GREVE
.
39
A
ROLE
FOR
THEOREM
PROVING
IN
MULTI-PROCESSOR
DESIGN
A.
J.
CAMILLERI
.
45
A
FORMAL
METHOD
EXPERIENCE
AT
SECURE
COMPUTING
CORPORATION
J.
HOFFMAN,
C.
PAYNE
.
49
FORMAL
METHODS
IN
AN
INDUSTRIAL
ENVIRONMENT
J.
R.
CUELLAR
.
57
ON
CHECKING
MODEL
CHECKERS
G.
J.
HOLZMANN
.
61
FINITE-STATE
ANALYSIS
OF
SECURITY
PROTOCOLS
J.
C.
MITCHELL
.
71
INTEGRATING
PROOF-BASED
AND
MODEL-CHECKING
TECHNIQUES
FOR
THE
FORMAL
VERIFICATION
OF
CRYPTOGRAPHIC
PROTOCOLS
D.
BOLIGNANO
.
77
VERIFYING
SYSTEMS
WITH
INFINITE
BUT
REGULAR
STATE
SPACES
P.
WOLPER,
B.
BOIGELOT
.
88
REGULAR
PAPERS
FORMAL
VERIFICATION
OF
OUT-OF-ORDER
EXECUTION
USING
INCREMENTAL
FLUSHING
J.
U.
SKAKKEBCEK,
R.
B.
JONES,
D.
L.
DILL
.
98
VERIFICATION
OF
AN
IMPLEMENTATION
OF
TOMASULO
'
S
ALGORITHM
BY
COMPOSITIONAL
MODEL
CHECKING
K.
L.
MCMILLAN
.
110
DECOMPOSING
THE
PROOF
OF
CORRECTNESS
OF
PIPELINED
MICROPROCESSORS
R.
HOSABETTU,
M.
SRIVAS,
G.
GOPALAKRISHNAN
.
122
PROCESSOR
VERIFICATION
WITH
PRECISE
EXCEPTIONS
AND
SPECULATIVE
EXECUTION
J.
SAWADA,
W.
A.
HUNT,
JR
.
135
SYMMETRY
REDUCTIONS
IN
MODEL
CHECKING
E.
M.
CLARKE,
E.
A.
EMERSON,
S.
JHA,
A.
P.
SISTLA
.
147
VIII
STRUCTURAL
SYMMETRY
AND
MODEL
CHECKING
G.
S.
MANKU,
R.
HOJATI,
R.
BRAYTON
.
159
USING
MAGNETIC
DISK
INSTEAD
OF
MAIN
MEMORY
IN
THE
MURY
VERIFIER
U.
STERN,
D.
L.
DILL
.
172
ON-THE-FLY
MODEL
CHECKING
OF
RCTL
FORMULAS
I.
BEER,
S.
BEN-DAVID,
A.
LANDVER
.
184
FROM
PRE-HISTORIC
TO
POST-MODERN
SYMBOLIC
MODEL
CHECKING
T.
A.
HENZINGER,
0.
KUPFERMAN,
S.
QADEER
.
195
MODEL
CHECKING
LTL
USING
NET
UNFOLDINGS
F.
WALLNER
.
207
MODEL
CHECKING
FOR
A
FIRST-ORDER
TEMPORAL
LOGIC
USING
MULTIWAY
DECISION
GRAPHS
Y.
XU,
E.
CERNY,
X.
SONG,
F.
CORELLA,
0.
AIT
MOHAMED
.
219
ON
THE
LIMITATIONS
OF
ORDERED
REPRESENTATIONS
OF
FUNCTIONS
J.
S.
THATHACHAR
.
232
BDD
BASED
PROCEDURES
FOR
A
THEORY
OF
EQUALITY
WITH
UNINTERPRETED
FUNCTIONS
A.
GOEL,
K.
SAJID,
H.
ZHOU,
A.
AZIZ,
V.
SINGHAL
.
244
COMPUTING
REACHABLE
CONTROL
STATES
OF
SYSTEMS
MODELED
WITH
UNINTERPRETED
FUNCTIONS
AND
INFINITE
MEMORY
A.
J.
ISLES,
R.
HOJATI,
R.
K.
BRAYTON
.
256
MULTIPLE
COUNTERS
AUTOMATA,
SAFETY
ANALYSIS,
AND
PRESBURGER
ARITHMETIC
H.
COMON,
Y.
JURSKI
.
268
A
COMPARISON
OF
PRESBURGER
ENGINES
FOR
EFSM
REACHABILITY
T.
R.
SHIPLE,
J.
H.
KUKULA,
R.
K.
RANJAN
.
280
[GENERATING
FINITE-STATE
ABSTRACTIONS
OF
REACTIVE
SYSTEMS
USING
DECISION
PROCEDURES
M.
A.
COLON,
T.
E.
URIBE
.
293
ON-THE-FLY
ANALYSIS
OF
SYSTEMS
WITH
UNBOUNDED,
LOSSY
FIFO
CHANNELS
P.
A.
ABDULLA,
A.
BOUAJJANI,
B.
JONSSON
.
305
COMPUTING
ABSTRACTIONS
OF
INFINITE
STATE
SYSTEMS
COMPOSITIONALLY
AND
AUTOMATICALLY
S.
BENSALEM,
Y.
LAKHNECH,
S.
OWRE
.
319
NORMED
SIMULATIONS
D.
GRIFFIOEN,
F.
VAANDRAGER
.
332
AN
EXPERIMENT
IN
PARALLELIZING
AN
APPLICATION
USING
FORMAL
METHODS
R.
COUTURIER,
D.
MERY
.
345
EFFICIENT
SYMBOLIC
DETECTION
OF
GLOBAL
PROPERTIES
IN
DISTRIBUTED
SYSTEMS
S.
D.
STOLLER,
Y.
A.
LIU
.
357
A
MACHINE-CHECKED
PROOF
OF
THE
OPTIMALITY
OF
A
REAL-TIME
SCHEDULING
POLICY
M.
WILDING
.
369
A
GENERAL
APPROACH
TO
PARTIAL
ORDER
REDUCTIONS
IN
SYMBOLIC
VERIFICATION
P.
A.
ABDULLA,
B.
JONSSON,
M.
KINDAHI,
D.
PELED
.
379
.CORRECTNESS
OF
THE
CONCURRENT
APPROACH
TO
SYMBOLIC
VERIFICATION
OF
INTERLEAVED
MODELS
F.
BALARIN
391
IX
VERIFICATION
OF
TIMED
SYSTEMS
USING
POSETS
W.
BELLUOMINI,
C.
J.
MYERS
.
403
MECHANISING
BAN
KERBEROS
BY
THE
INDUCTIVE
METHOD
G.
BELLA,
L.
C.
PAULSON
.
416
PROTOCOL
VERIFICATION
IN
NUPRL
A.
P.
FELTY,
D.
J.
HOWE,
F.
A.
STOMP
.
428
YOU
ASSUME,
WE
GUARANTEE:
METHODOLOGY
AND
CASE
STUDIES
T.
A.
HENZINGER,
S.
QADEER,
S.
K.
RAJAMANI
.
440
VERIFICATION
OF
A
PARAMETERIZED
BUS
ARBITRATION
PROTOCOL
E.
A.
EMERSON,
K.
S.
NAMJOSHI
.
452
THE
'
TEST
MODEL-CHECKING
'
APPROACH
TO
THE
VERIFICATION
OF
FORMAL
MEMORY
MODELS
OF
MULTIPROCESSORS
R.
NALUMASU,
R.
GHUGHAL,
A.
MOKKEDEM,
G.
GOPALAKRISHNAN
.
464
DESIGN
CONSTRAINTS
IN
SYMBOLIC
MODEL
CHECKING
M.
KAUFMANN,
A.
MARTIN,
C.
PIXLEY
.
477
VERIFICATION
OF
FLOATING-POINT
ADDERS
Y.-A.
CHEN,
R.
E.
BRYANT
.
488
TOOL
PAPERS
XEVE:
AN
ESTEREL
VERIFICATION
ENVIRONMENT
A.
BOUALI
.
500
INVEST:
A
TOOL
FOR
THE
VERIFICATION
OF
INVARIANTS
S.
BENSALEM,
Y.
LAKHNECH,
S.
OWRE
.
505
VERIFYING
MOBILE
PROCESSES
IN
THE
HAL
ENVIRONMENT
G.
FERRARI,
S.
GNESI,
U.
MONTANARI,
M.
PISTORE,
G.
RISTORI
.
511
MONA
1.X:
NEW
TECHNIQUES
FOR
WS1S
AND
WS2S
J.
ELGAARD,
N.
KLARLUND,
A.
MFILLER
.
516
MOCHA:
MODULARITY
IN
MODEL
CHECKING
R.
ALUR,
T.
A.
HENZINGER,
F.
Y.
C.
MANG,
S.
QADEER,
S.
K.
RAJAMANI,
S.
TASIRAN
.
521
SCR*:
A
TOOLSET
FOR
SPECIFYING
AND
ANALYZING
SOFTWARE
REQUIREMENTS
C.
HEITMEYER,
J.
KIRBY,
B.
LABAW,
R.
BHARADWAJ
.
526
A
TOOLSET
FOR
MESSAGE
SEQUENCE
CHARTS
D.
A.
PELED
.
532
REAL-TIME
VERIFICATION
OF
STATEMATE
DESIGNS
U.
BROCKMEYER,
G.
WITTICH
.
537
OPTIKRON:
A
TOOL
SUITE
FOR
ENHANCING
MODEL-CHECKING
OF
REAL-TIME
SYSTEMS
C.
DAWS
.
542
KRONOS:
A
MODEL-CHECKING
TOOL
FOR
REAL-TIME
SYSTEMS
M.
BOZGA,
C.
DAWS,
0.
MAIER,
A.
OLIVERO,
S.
TRIPAKIS,
S.
YOVINE
.
546
AUTHOR
INDEX
.
551 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV011949823 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.V47 |
| callnumber-search | QA76.76.V47 |
| callnumber-sort | QA 276.76 V47 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1998 SS 4800 |
| classification_tum | DAT 325f |
| ctrlnum | (OCoLC)39442609 (DE-599)BVBBV011949823 |
| dewey-full | 004.24 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.24 |
| dewey-search | 004.24 |
| dewey-sort | 14.24 |
| dewey-tens | 000 - Computer science, information, general works |
| 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">BV011949823</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20051108</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">980512s1998 gw ad|| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">953562891</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540646086</subfield><subfield code="9">3-540-64608-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)39442609</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011949823</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">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.V47</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.24</subfield><subfield code="2">21</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">10th international conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedings</subfield><subfield code="c">Alan J. Hu ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 552 S.</subfield><subfield code="b">Ill., 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">1427</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Circuits intégrés - Vérification - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Circuits intégrés - Évaluation - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Conception assistée par ordinateur - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ingénierie assistée par ordinateur - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciels - Vérification - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logiciels - Évaluation - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ordinateurs - Vérification - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ordinateurs - Évaluation - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Software</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Verificatie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">déduction automatique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">méthode formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">méthode vérification</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">testabilité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification automatique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification matériel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Verification</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Integrated circuits</subfield><subfield code="x">Verification</subfield><subfield code="v">Congresses</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">1998</subfield><subfield code="z">Vancouver British Columbia</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="700" ind1="1" ind2=" "><subfield code="a">Hu, Alan J.</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">10</subfield><subfield code="d">1998</subfield><subfield code="c">Vancouver, British Columbia</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2170269-X</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">1427</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1427</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=008079241&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-008079241</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1998 Vancouver British Columbia gnd-content |
| genre_facet | Konferenzschrift 1998 Vancouver British Columbia |
| id | DE-604.BV011949823 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:40Z |
| institution | BVB |
| institution_GND | (DE-588)2170269-X |
| isbn | 3540646086 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008079241 |
| oclc_num | 39442609 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-634 DE-83 DE-706 |
| owner_facet | DE-384 DE-739 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-634 DE-83 DE-706 |
| physical | IX, 552 S. Ill., graph. Darst. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Computer aided verification 10th international conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedings Alan J. Hu ... (eds.) Berlin [u.a.] Springer 1998 IX, 552 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1427 Circuits intégrés - Vérification - Congrès Circuits intégrés - Évaluation - Congrès ram Conception assistée par ordinateur - Congrès ram Ingénierie assistée par ordinateur - Congrès ram Logiciels - Vérification - Congrès Logiciels - Évaluation - Congrès ram Ordinateurs - Vérification - Congrès Ordinateurs - Évaluation - Congrès ram Software gtt Verificatie gtt déduction automatique inriac méthode formelle inriac méthode vérification inriac testabilité inriac vérification automatique inriac vérification matériel inriac Computer software Verification Congresses Integrated circuits Verification Congresses Verifikation (DE-588)4135577-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1998 Vancouver British Columbia gnd-content Verifikation (DE-588)4135577-5 s DE-604 Hu, Alan J. Sonstige oth CAV 10 1998 Vancouver, British Columbia Sonstige (DE-588)2170269-X oth Lecture notes in computer science 1427 (DE-604)BV000000607 1427 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008079241&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Computer aided verification 10th international conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedings Lecture notes in computer science Circuits intégrés - Vérification - Congrès Circuits intégrés - Évaluation - Congrès ram Conception assistée par ordinateur - Congrès ram Ingénierie assistée par ordinateur - Congrès ram Logiciels - Vérification - Congrès Logiciels - Évaluation - Congrès ram Ordinateurs - Vérification - Congrès Ordinateurs - Évaluation - Congrès ram Software gtt Verificatie gtt déduction automatique inriac méthode formelle inriac méthode vérification inriac testabilité inriac vérification automatique inriac vérification matériel inriac Computer software Verification Congresses Integrated circuits Verification Congresses Verifikation (DE-588)4135577-5 gnd |
| subject_GND | (DE-588)4135577-5 (DE-588)1071861417 |
| title | Computer aided verification 10th international conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedings |
| title_auth | Computer aided verification 10th international conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedings |
| title_exact_search | Computer aided verification 10th international conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedings |
| title_full | Computer aided verification 10th international conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedings Alan J. Hu ... (eds.) |
| title_fullStr | Computer aided verification 10th international conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedings Alan J. Hu ... (eds.) |
| title_full_unstemmed | Computer aided verification 10th international conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedings Alan J. Hu ... (eds.) |
| title_short | Computer aided verification |
| title_sort | computer aided verification 10th international conference cav 98 vancouver bc canada june 28 july 2 1998 proceedings |
| title_sub | 10th international conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedings |
| topic | Circuits intégrés - Vérification - Congrès Circuits intégrés - Évaluation - Congrès ram Conception assistée par ordinateur - Congrès ram Ingénierie assistée par ordinateur - Congrès ram Logiciels - Vérification - Congrès Logiciels - Évaluation - Congrès ram Ordinateurs - Vérification - Congrès Ordinateurs - Évaluation - Congrès ram Software gtt Verificatie gtt déduction automatique inriac méthode formelle inriac méthode vérification inriac testabilité inriac vérification automatique inriac vérification matériel inriac Computer software Verification Congresses Integrated circuits Verification Congresses Verifikation (DE-588)4135577-5 gnd |
| topic_facet | Circuits intégrés - Vérification - Congrès Circuits intégrés - Évaluation - Congrès Conception assistée par ordinateur - Congrès Ingénierie assistée par ordinateur - Congrès Logiciels - Vérification - Congrès Logiciels - Évaluation - Congrès Ordinateurs - Vérification - Congrès Ordinateurs - Évaluation - Congrès Software Verificatie déduction automatique méthode formelle méthode vérification testabilité vérification automatique vérification matériel Computer software Verification Congresses Integrated circuits Verification Congresses Verifikation Konferenzschrift 1998 Vancouver British Columbia |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008079241&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT hualanj computeraidedverification10thinternationalconferencecav98vancouverbccanadajune28july21998proceedings AT cavvancouverbritishcolumbia computeraidedverification10thinternationalconferencecav98vancouverbccanadajune28july21998proceedings |