Computer aided verification: 7th international conference, CAV '95, Liège, Belgium, July 3 - 5, 1995 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
1995
|
| Schriftenreihe: | Lecture notes in computer science
939 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 450 S. |
| ISBN: | 3540600450 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010211183 | ||
| 003 | DE-604 | ||
| 005 | 19950825 | ||
| 007 | t| | ||
| 008 | 950530s1995 gw |||| 10||| eng d | ||
| 016 | 7 | |a 944479715 |2 DE-101 | |
| 020 | |a 3540600450 |9 3-540-60045-0 | ||
| 035 | |a (OCoLC)32903576 | ||
| 035 | |a (DE-599)BVBBV010211183 | ||
| 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-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 | ||
| 050 | 0 | |a QA76.76.V47 | |
| 082 | 0 | |a 004.2/4/015113 |2 20 | |
| 084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
| 084 | |a DAT 325f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Computer aided verification |b 7th international conference, CAV '95, Liège, Belgium, July 3 - 5, 1995 ; proceedings |c Pierre Wolper (ed.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1995 | |
| 300 | |a X, 450 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 939 | |
| 650 | 7 | |a Engenharia de programacao (software) |2 larpcal | |
| 650 | 7 | |a Logiciels - Essais - Congrès |2 ram | |
| 650 | 4 | |a Logiciels - Vérification - Congrès | |
| 650 | 4 | |a Ordinateurs - Évaluation - 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 méthode vérification |2 inriac | |
| 650 | 7 | |a système hybride |2 inriac | |
| 650 | 7 | |a système temps réel |2 inriac | |
| 650 | 7 | |a système état fini |2 inriac | |
| 650 | 7 | |a vérification automatique |2 inriac | |
| 650 | 7 | |a vérification circuit |2 inriac | |
| 650 | 7 | |a vérification formelle |2 inriac | |
| 650 | 7 | |a vérification matériel |2 inriac | |
| 650 | 4 | |a Computer software |x Verification |v Congresses | |
| 650 | 4 | |a Electronic digital computers |x Evaluation |v Congresses | |
| 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 1995 |z Lüttich |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 Wolper, Pierre |e Sonstige |4 oth | |
| 711 | 2 | |a CAV |n 7 |d 1995 |c Lüttich |j Sonstige |0 (DE-588)2147224-5 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 939 |w (DE-604)BV000000607 |9 939 | |
| 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=006785702&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006785702 | |
Datensatz im Suchindex
| _version_ | 1820868263339360256 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
SESSION
1:
INVITED
TALK
MULTIPLIERS
AND
DIVIDERS:
INSIGHTS
ON
ARITHMETIC
CIRCUIT
VERIFICATION
R.
E.
BRYANT
.
1
SESSION
2
GLOBAL
REBUILDING
OF
OBDD
'
S
-
AVOIDING
MEMORY
REQUIREMENT
MAXIMA
J.
BEM,
C.
MEINEL
AND
A.
SLOBODOVD
.
4
GENERATING
BDD
MODELS
FOR
PROCESS
ALGEBRA
TERMS
A.
DSOUZA
AND
B.
BLOOM
.
16
HARDWARE
VERIFICATION
USING
MONADIC
SECOND-ORDER
LOGIC
D.
A.
BASIN
AND
N.
KLARLUND
.
31
VERIFYING
SAFETY
PROPERTIES
OF
A
CLASS
OF
INFINITE-STATE
DISTRIBUTED
ALGORITHMS
B.
JONSSON
AND
L.
KEMPE
.
::
.
.
.
42
SESSION
3
''
MODEL
CHECKING
FOR
INFINITE
STATE
SYSTEMS
USING
DATA
ABSTRACTION,
ASSUMPTION-COMMITMENT
STYLE
REASONING
AND
THEOREM
PROVING
J.
DINGEL
AND
T.
FILKOM
.
54
CAVEAT:
TECHNIQUE
AND
TOOL
FOR
COMPUTER
AIDED
VERIFICATION
AND
TRANSFORMATION
E.
P.
GRIBOMONT
AND
D.
ROSSETTO
.
70
AN
INTEGRATION
OF
MODEL
CHECKING
WITH
AUTOMATED
PROOF
CHECKING
S.
RAJAN,
N.
SHANKAR
AND
M.
K.
SRIVAS
.
84
SESSION
4
'
AUTOMATIC
DATAPATH
ABSTRACTION
IN
HARDWARE
SYSTEMS
R.
HOJATI
AND
R.
K.
BRAYTON
.
98
VIII
TOUPIE
=
/Z-CALCULUS
+
CONSTRAINTS
.
,
A.
RAUZY
.
114
SAFETY
PROPERTY
VERIFICATION
OF
ESTEREL
PROGRAMS
AND
APPLICATIONS
TO
TELECOMMUNICATIONS
SOFTWARE
L.
J.
JAGADEESAN,
C.
PUCHOL
AND
J.
E.
VON
OLNHAUSEN
.
127
SESSION
5:
INVITED
TUTORIAL
METHODS
FOR
/Z-CALCULUS
MODEL
CHECKING
E.
A.
EMERSON
.
.
141
SESSION
6
EFFICIENT
CHECKING
OF
BEHAVIOURAL
RELATIONS
AND
MODAL
ASSERTIONS
USING
FIXED-POINT
INVERSION
H.
R.
ANDERSEN
AND
B.
VERGAUWEN
.
.
.
142
IT
USUALLY
WORKS:
THE
TEMPORAL
LOGIC
OF
STOCHASTIC
SYSTEMS
A.
AZIZ,
V.
SINGHAL,
F.
BALARIN,
R.
K.
BRAYTON
AND
A.
L.
SANGIOVANNI-VINCENTELLI
.
155
LOCAL
LIVENESS
FOR
COMPOSITIONAL
MODELING
OF
FAIR
REACTIVE
SYSTEMS
R.
ALUR
AND
T.
A.
HENZINGER
.
166
TRACE
THEORETIC
VERIFICATION
OF
ASYNCHRONOUS
CIRCUITS
USING
UNFOLDINGS
K.
L.
MCMILLAN
.
180
SESSION
7
'
'
EYOM
DURATION
CALCULUS
TO
LINEAR
HYBRID
AUTOMATA
A.
BOUAJJANI,
Y.
LAKHNECH
AND
R.
ROBBANA
.
196
LOCAL
MODEL
CHECKING
FOR
REAL-TIME
SYSTEMS
O.
V.
SOKOLSKY
AND
S.
A.
SMOLKA
.
211
ALGORITHMIC
ANALYSIS
OF
NONLINEAR
HYBRID
SYSTEMS
T.
A.
HENZINGER
AND
P.-H.
HO
.
225
IX
SESSION
8
ON
POLYNOMIAL-SIZE
PROGRAMS
WINNING
FINITE-STATE
GAMES
H.
LESCOW
.
,
.
239
THE
RABIN
INDEX
AND
CHAIN
AUTOMATA,
WITH
APPLICATIONS
TO
AUTOMATA
AND
GAMES
S.
C.
KRISHNAN,
A.
PURI,
R.
K.
BRAYTON
AND
P.
P.
VARAIYA
.
253
AN
AUTOMATA-THEORETIC
APPROACH
TO
FAIR
REALIZABILITY
AND
SYNTHESIS
M.
Y.
VARDI
.
267
SUPERVISORY
CONTROL
OF
FINITE
STATE
MACHINES
A.
AZIZ,
F.
BALARIN,
R.
K.
BRAYTON,
M.
D.
DIBENEDETTO,
A.
SALDANHA
AND
A.
L.
SANGIOVANNI-VINCENTELLI
.
279
SESSION
9:
INVITED
TALK
COMPOSITIONAL
AND
INDUCTIVE
SEMANTIC
DEFINITIONS
IN
FIXPOINT,
EQUA
TIONS],
CONSTRAINT,
CLOSURE-CONDITION,
RULE-BASED
AND
GAME-THEORETIC
FORM
P.
COUSOT
AND
R.
COUSOT
.
.
S
.
293
SESSION
10
UTILIZING
SYMMETRY
WHEN
MODEL
CHECKING
UNDER
FAIRNESS
ASSUMPTIONS:
AN
AUTOMATA-THEORETIC
APPROACH
E.
A.
EMERSON
AND
A.
P.
SISTLA
.
309
AUGMENTING
BRANCHING
TEMPORAL
LOGICS
WITH
EXISTENTIAL
QUANTIFICATION
OVER
ATOMIC
PROPOSITIONS
0.
KUPFERMAN
(BEMHOLTZ)
.
325
MODELLING
ASYNCHRONY
WITH
A
SYNCHRONOUS
MODEL
R.
P.
KURSHAN,
M.
MERRITT,
A.
ORDA
AND
S.
R.
SACHS
.
339
ON
THE
MODEL
CHECKING
PROBLEM
FOR
BRANCHING
TIME
LOGICS
AND
BASIC
PARALLEL
PROCESSES
J.
ESPARZA
AND
A.
KIEHN
.
353
X
SESSION
11
USING
FORMAL
VERIFICATION/ANALYSIS
METHODS
ON
THE
CRITICAL
PATH
IN
SYSTEM
DESIGN:
A
CASE
STUDY
A.
TH.
EIRIKSSON
AND
K.
L.
MCMILLAN
.
367
AUTOMATED
ANALYSIS
OF
AN
AUDIO
CONTROL
PROTOCOL
P.-H.
HO
AND
H.
WONG-TOI
.
381
INTERACTIVELY
VERIFYING
A
SIMPLE
REAL-TIME
SCHEDULER
C.
FIDGE,
P.
KEARNEY
AND
M.
UTTING
.
395
SESSION
12
'4
VERIFICATION
OF
REAL-TIME
SYSTEMS
BY
SUCCESSIVE
OVER
AND
UNDER
APPROXIMATION
D.
DILL
AND
H.
WONG-TOI
.
R
.
.
409
EFFICIENT
TIMING
ANALYSIS
OF
A
CLASS
OF
PETRI
NETS
H.
HULGAARD
AND
S.
M.
BUMS
.
'.
.
423
VERIFYING
W-REGULAR
PROPERTIES
FOR
A
SUBCLASS
OF
LINEAR
HYBRID
SYSTEMS
A.
BOUAJJANI
AND
R.
ROBBANA
.
437
AUTHOR
INDEX
.
451 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV010211183 |
| 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 | ST 233 |
| classification_tum | DAT 325f |
| ctrlnum | (OCoLC)32903576 (DE-599)BVBBV010211183 |
| dewey-full | 004.2/4/015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.2/4/015113 |
| dewey-search | 004.2/4/015113 |
| dewey-sort | 14.2 14 515113 |
| 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">BV010211183</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19950825</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">950530s1995 gw |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">944479715</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540600450</subfield><subfield code="9">3-540-60045-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)32903576</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010211183</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-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="050" ind1=" " ind2="0"><subfield code="a">QA76.76.V47</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.2/4/015113</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 233</subfield><subfield code="0">(DE-625)143620:</subfield><subfield code="2">rvk</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">7th international conference, CAV '95, Liège, Belgium, July 3 - 5, 1995 ; proceedings</subfield><subfield code="c">Pierre Wolper (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 450 S.</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">939</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Engenharia de programacao (software)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logiciels - Essais - 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="4"><subfield code="a">Ordinateurs - Évaluation - 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">méthode vérification</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système hybride</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système temps réel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système état fini</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 circuit</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification formelle</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">Electronic digital computers</subfield><subfield code="x">Evaluation</subfield><subfield code="v">Congresses</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">1995</subfield><subfield code="z">Lüttich</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">Wolper, Pierre</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">7</subfield><subfield code="d">1995</subfield><subfield code="c">Lüttich</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2147224-5</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">939</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">939</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=006785702&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-006785702</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1995 Lüttich gnd-content |
| genre_facet | Konferenzschrift 1995 Lüttich |
| id | DE-604.BV010211183 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T13:21:34Z |
| institution | BVB |
| institution_GND | (DE-588)2147224-5 |
| isbn | 3540600450 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006785702 |
| oclc_num | 32903576 |
| open_access_boolean | |
| owner | DE-384 DE-739 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-384 DE-739 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 | X, 450 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Computer aided verification 7th international conference, CAV '95, Liège, Belgium, July 3 - 5, 1995 ; proceedings Pierre Wolper (ed.) Berlin u.a. Springer 1995 X, 450 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 939 Engenharia de programacao (software) larpcal Logiciels - Essais - Congrès ram Logiciels - Vérification - Congrès Ordinateurs - Évaluation - Congrès Ordinateurs - Évaluation - Congrès ram Software gtt Verificatie gtt méthode vérification inriac système hybride inriac système temps réel inriac système état fini inriac vérification automatique inriac vérification circuit inriac vérification formelle inriac vérification matériel inriac Computer software Verification Congresses Electronic digital computers Evaluation Congresses Programmverifikation (DE-588)4135576-3 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 Lüttich gnd-content Verifikation (DE-588)4135577-5 s DE-604 Programmverifikation (DE-588)4135576-3 s Wolper, Pierre Sonstige oth CAV 7 1995 Lüttich Sonstige (DE-588)2147224-5 oth Lecture notes in computer science 939 (DE-604)BV000000607 939 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006785702&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Computer aided verification 7th international conference, CAV '95, Liège, Belgium, July 3 - 5, 1995 ; proceedings Lecture notes in computer science Engenharia de programacao (software) larpcal Logiciels - Essais - Congrès ram Logiciels - Vérification - Congrès Ordinateurs - Évaluation - Congrès Ordinateurs - Évaluation - Congrès ram Software gtt Verificatie gtt méthode vérification inriac système hybride inriac système temps réel inriac système état fini inriac vérification automatique inriac vérification circuit inriac vérification formelle inriac vérification matériel inriac Computer software Verification Congresses Electronic digital computers Evaluation Congresses 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 7th international conference, CAV '95, Liège, Belgium, July 3 - 5, 1995 ; proceedings |
| title_auth | Computer aided verification 7th international conference, CAV '95, Liège, Belgium, July 3 - 5, 1995 ; proceedings |
| title_exact_search | Computer aided verification 7th international conference, CAV '95, Liège, Belgium, July 3 - 5, 1995 ; proceedings |
| title_full | Computer aided verification 7th international conference, CAV '95, Liège, Belgium, July 3 - 5, 1995 ; proceedings Pierre Wolper (ed.) |
| title_fullStr | Computer aided verification 7th international conference, CAV '95, Liège, Belgium, July 3 - 5, 1995 ; proceedings Pierre Wolper (ed.) |
| title_full_unstemmed | Computer aided verification 7th international conference, CAV '95, Liège, Belgium, July 3 - 5, 1995 ; proceedings Pierre Wolper (ed.) |
| title_short | Computer aided verification |
| title_sort | computer aided verification 7th international conference cav 95 liege belgium july 3 5 1995 proceedings |
| title_sub | 7th international conference, CAV '95, Liège, Belgium, July 3 - 5, 1995 ; proceedings |
| topic | Engenharia de programacao (software) larpcal Logiciels - Essais - Congrès ram Logiciels - Vérification - Congrès Ordinateurs - Évaluation - Congrès Ordinateurs - Évaluation - Congrès ram Software gtt Verificatie gtt méthode vérification inriac système hybride inriac système temps réel inriac système état fini inriac vérification automatique inriac vérification circuit inriac vérification formelle inriac vérification matériel inriac Computer software Verification Congresses Electronic digital computers Evaluation Congresses Programmverifikation (DE-588)4135576-3 gnd Verifikation (DE-588)4135577-5 gnd |
| topic_facet | Engenharia de programacao (software) Logiciels - Essais - Congrès Logiciels - Vérification - Congrès Ordinateurs - Évaluation - Congrès Software Verificatie méthode vérification système hybride système temps réel système état fini vérification automatique vérification circuit vérification formelle vérification matériel Computer software Verification Congresses Electronic digital computers Evaluation Congresses Programmverifikation Verifikation Konferenzschrift 1995 Lüttich |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006785702&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT wolperpierre computeraidedverification7thinternationalconferencecav95liegebelgiumjuly351995proceedings AT cavluttich computeraidedverification7thinternationalconferencecav95liegebelgiumjuly351995proceedings |