Verification: theory and practice essays dedicated to Zohar Manna on the occasion of his 64th birthday

Verification: theory and practice essays dedicated to Zohar Manna on the occasion of his 64th birthday

Weitere Versionen anzeigen (2)
Gespeichert in:
Bibliographische Detailangaben
Format: Buch
Sprache:German
Veröffentlicht: Berlin [u.a.] Springer 2004
Schriftenreihe:Lecture notes in computer science 2772
Schlagworte:
Model-checking (Informatique)
Vérification de logiciels
Computer software > Verification
Verifikation
Programmierung
Programmierlogik
Berechnungstheorie
Theoretische Informatik
Aufsatzsammlung
Festschrift
Online-Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

MARC

LEADER 00000nam a2200000 cb4500
001 BV017874178
003 DE-604
005 20040705
007 t
008 040217s2004 gw ad|| |||| 01||| ger d
016 7 |a 970122802  |2 DE-101 
020 |a 3540210024  |9 3-540-21002-4 
035 |a (OCoLC)54392155 
035 |a (DE-599)BVBBV017874178 
040 |a DE-604  |b ger  |e rakddb 
041 0 |a ger 
044 |a gw  |c DE 
049 |a DE-824  |a DE-384  |a DE-739  |a DE-91G  |a DE-706 
050 0 |a QA76.76.V47 
082 0 |a 005.1/4  |2 22 
084 |a SS 4800  |0 (DE-625)143528:  |2 rvk 
084 |a DAT 325f  |2 stub 
245 1 0 |a Verification: theory and practice  |b essays dedicated to Zohar Manna on the occasion of his 64th birthday  |c Nachum Dershowitz (ed.) 
264 1 |a Berlin [u.a.]  |b Springer  |c 2004 
300 |a XV, 782 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 2772 
650 7 |a Model-checking (Informatique)  |2 rasuqam 
650 7 |a Vérification de logiciels  |2 rasuqam 
650 4 |a Computer software  |x Verification 
650 0 7 |a Verifikation  |0 (DE-588)4135577-5  |2 gnd  |9 rswk-swf 
650 0 7 |a Programmierung  |0 (DE-588)4076370-5  |2 gnd  |9 rswk-swf 
650 0 7 |a Programmierlogik  |0 (DE-588)4047408-2  |2 gnd  |9 rswk-swf 
650 0 7 |a Berechnungstheorie  |0 (DE-588)4005581-4  |2 gnd  |9 rswk-swf 
650 0 7 |a Theoretische Informatik  |0 (DE-588)4196735-5  |2 gnd  |9 rswk-swf 
655 7 |0 (DE-588)4143413-4  |a Aufsatzsammlung  |2 gnd-content 
655 7 |0 (DE-588)4016928-5  |a Festschrift  |2 gnd-content 
689 0 0 |a Verifikation  |0 (DE-588)4135577-5  |D s 
689 0 |5 DE-604 
689 1 0 |a Theoretische Informatik  |0 (DE-588)4196735-5  |D s 
689 1 |5 DE-604 
689 2 0 |a Programmierung  |0 (DE-588)4076370-5  |D s 
689 2 |5 DE-604 
689 3 0 |a Programmierlogik  |0 (DE-588)4047408-2  |D s 
689 3 |5 DE-604 
689 4 0 |a Berechnungstheorie  |0 (DE-588)4005581-4  |D s 
689 4 |5 DE-604 
700 1 |a Dershowitz, Nachum  |d 1951-  |e Sonstige  |0 (DE-588)128838213  |4 oth 
700 1 |a Manna, Zohar  |d 1939-2018  |0 (DE-588)128838248  |4 hnr 
830 0 |a Lecture notes in computer science  |v 2772  |w (DE-604)BV000000607  |9 2772 
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=010723549&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA  |3 Inhaltsverzeichnis 
999 |a oai:aleph.bib-bvb.de:BVB01-010723549 

Datensatz im Suchindex

DE-BY-TUM_call_number 0102/DAT 001z 2001 A 999-2772
DE-BY-TUM_katkey 1471709
DE-BY-TUM_media_number 040020083907
_version_ 1816712415403835392
adam_text TABLE OF CONTENTS FRONTISPIECE: ZOHAR MANNA PAEAN TO ZOHAR MANNA ............................................. 1 NACHUM DERSHOWITZ TECHNICAL PAPERS A LOGIC OF OBJECT-ORIENTED PROGRAMS ............................... 11 MART´* NAB ADI ,K.RUS T ANM.LEI NO FORMAL ANALYSIS OF HIERARCHICAL STATE MACHINES ....................... 42 RAJEEV ALUR ABSTRACTION AS THE KEY FOR INVARIANT VERIFICATION ...................... 67 SADDEK BENSALEM, SUSANNE GRAF, YASSINE LAKHNECH DOMAIN ENGINEERING: A *RADICAL INNOVATION* FOR SOFTWARE AND SYSTEMS ENGINEERING? A BIASED ACCOUNT ..................................... 100 DINES BJOERNER THE ASM GROUND MODEL METHOD AS A FOUNDATION FOR REQUIREMENTS ENGINEERING ...................................................... 145 EGON B¨ORGER A FUNCTIONAL CALCULUS FOR SPECIFICATION AND VERIFICATION OF NONDETERMINISTIC INTERACTIVE SYSTEMS ................................ 161 MANFRED BROY NOTES FROM THE LOGBOOK OF A PROOF-CHECKER*S PROJECT .................. 182 DOMENICO CANTONE, EUGENIO G. OMODEO, JACOB T. SCHWARTZ, PIETRO URSINO COUNTEREXAMPLES REVISITED: PRINCIPLES, ALGORITHMS, APPLICATIONS ........ 208 EDMUND CLARKE, HELMUT VEITH EASY INTRUDER DEDUCTIONS .......................................... 225 HUBERT COMON-LUNDH, RALF TREINEN VERIFICATION BY ABSTRACT INTERPRETATION ............................... 243 PATRICK COUSOT GAME MODELS FOR OPEN SYSTEMS .................................... 269 LUCA DE ALFARO XIV TABLE OF CONTENTS A COMPOSITIONAL OPERATIONAL SEMANTICS FOR JAVA MT ................... 290 ERIKA ´ ABRAH´AM, FRANK S. DE BOER, WILLEM-PAUL DE ROEVER, MARTIN STEFFEN BOUNDED FAIRNESS ................................................. 304 NACHUM DERSHOWITZ, D.N. JAYASIMHA, SEUNGJOON PARK EFFICIENT BOUNDARY VALUES GENERATION IN GENERAL METRIC SPACES FOR SOFTWARE COMPONENT TESTING ....................................... 318 ALFREDO FERRO, ROSALBA GIUGNO, ALFREDO PULVIRENTI EXTREME MODEL CHECKING .......................................... 332 THOMAS A. HENZINGER, RANJIT JHALA, RUPAK MAJUMDAR, MARCO A.A. SANVIDO AUTOMATA MISTA .................................................. 359 G´ERARD HUET ASPECT VALIDATION USING MODEL CHECKING ............................ 373 SHMUEL KATZ, MARCELO SIHMAN QUALITATIVE THEOREM PROVING IN LINEAR CONSTRAINTS ................... 395 VIJAY CHANDRU, JEAN-LOUIS LASSEZ SOME INSTITUTIONAL REQUIREMENTS FOR TEMPORAL REASONING ON DYNAMIC RECONFIGURATION OF COMPONENT BASED SYSTEMS ........................ 407 NAZARENO AGUIRRE, TOM MAIBAUM A FORMAL BASIS FOR REASONING ON PROGRAMMABLE QOS .................. 436 ROCCO DE NICOLA, GIANLUIGI FERRARI, UGO MONTANARI, ROSARIO PUGLIESE, EMILIO TUOSTO A HIERARCHICAL COMPLETENESS PROOF FOR PROPOSITIONAL TEMPORAL LOGIC .... 480 BEN MOSZKOWSKI COMPUTATIONAL PROOF AS EXPERIMENT: PROBABILISTIC ALGORITHMS FROM A THERMODYNAMIC PERSPECTIVE ........................................ 524 KRISHNA V. PALEM UNIT CHECKING: SYMBOLIC MODEL CHECKING FOR A UNIT OF CODE ........... 548 ELSA GUNTER, DORON PELED COLIMITS FOR CONCURRENT COLLECTORS .................................. 568 DUSKO PAVLOVIC, PETER PEPPER, DOUG SMITH TLPVS :A PVS -BASED LTL VERIFICATION SYSTEM ......................... 598 AMIR PNUELI, TAMARAH ARONS BINARY EXTENSIONS OF S1S AND THE COMPOSITION METHOD ................ 626 ENRICO MARZANO, ANGELO MONTANARI, ALBERTO POLICRITI TABLE OF CONTENTS XV DERIVING EFFICIENT GRAPH ALGORITHMS ................................. 645 JOHN H. REIF, WILLIAM L. SCHERLIS PETRI NET ANALYSIS USING INVARIANT GENERATION ........................ 682 SRIRAM SANKARANARAYANAN, HENNY SIPMA, ZOHAR MANNA FAIR EQUIVALENCE RELATIONS ......................................... 702 ORNA KUPFERMAN, NIR PITERMAN, MOSHE Y. VARDI DIGITAL ALGEBRA AND CIRCUITS ........................................ 733 JEAN VUILLEMIN PROGRAM SYNTHESIS FOR MULTI-AGENT QUESTION ANSWERING ................ 747 RICHARD WALDINGER, PETER JARVIS, JENNIFER DUNGAN COMBINING SETS WITH ELEMENTS ...................................... 762 CALOGERO G. ZARBA AUTHOR INDEX ................................................ 783
any_adam_object 1
author_GND (DE-588)128838213
(DE-588)128838248
building Verbundindex
bvnumber BV017874178
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 4800
classification_tum DAT 325f
ctrlnum (OCoLC)54392155
(DE-599)BVBBV017874178
dewey-full 005.1/4
dewey-hundreds 000 - Computer science, information, general works
dewey-ones 005 - Computer programming, programs, data, security
dewey-raw 005.1/4
dewey-search 005.1/4
dewey-sort 15.1 14
dewey-tens 000 - Computer science, information, general works
discipline Informatik
format Book
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02496nam a2200613 cb4500</leader><controlfield tag="001">BV017874178</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040705 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">040217s2004 gw ad|| |||| 01||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">970122802</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540210024</subfield><subfield code="9">3-540-21002-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)54392155</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017874178</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">ger</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-824</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</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">005.1/4</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</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="245" ind1="1" ind2="0"><subfield code="a">Verification: theory and practice</subfield><subfield code="b">essays dedicated to Zohar Manna on the occasion of his 64th birthday</subfield><subfield code="c">Nachum Dershowitz (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 782 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">2772</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Model-checking (Informatique)</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Vérification de logiciels</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Verification</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="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-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)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4016928-5</subfield><subfield code="a">Festschrift</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">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Dershowitz, Nachum</subfield><subfield code="d">1951-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)128838213</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Manna, Zohar</subfield><subfield code="d">1939-2018</subfield><subfield code="0">(DE-588)128838248</subfield><subfield code="4">hnr</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2772</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2772</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&amp;doc_library=BVB01&amp;local_base=BVB01&amp;doc_number=010723549&amp;sequence=000001&amp;line_number=0001&amp;func_code=DB_RECORDS&amp;service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-010723549</subfield></datafield></record></collection>
genre (DE-588)4143413-4 Aufsatzsammlung gnd-content
(DE-588)4016928-5 Festschrift gnd-content
genre_facet Aufsatzsammlung
Festschrift
id DE-604.BV017874178
illustrated Illustrated
indexdate 2024-11-25T17:26:05Z
institution BVB
isbn 3540210024
language German
oai_aleph_id oai:aleph.bib-bvb.de:BVB01-010723549
oclc_num 54392155
open_access_boolean
owner DE-824
DE-384
DE-739
DE-91G
DE-BY-TUM
DE-706
owner_facet DE-824
DE-384
DE-739
DE-91G
DE-BY-TUM
DE-706
physical XV, 782 S. Ill., graph. Darst.
publishDate 2004
publishDateSearch 2004
publishDateSort 2004
publisher Springer
record_format marc
series Lecture notes in computer science
series2 Lecture notes in computer science
spellingShingle Verification: theory and practice essays dedicated to Zohar Manna on the occasion of his 64th birthday
Lecture notes in computer science
Model-checking (Informatique) rasuqam
Vérification de logiciels rasuqam
Computer software Verification
Verifikation (DE-588)4135577-5 gnd
Programmierung (DE-588)4076370-5 gnd
Programmierlogik (DE-588)4047408-2 gnd
Berechnungstheorie (DE-588)4005581-4 gnd
Theoretische Informatik (DE-588)4196735-5 gnd
subject_GND (DE-588)4135577-5
(DE-588)4076370-5
(DE-588)4047408-2
(DE-588)4005581-4
(DE-588)4196735-5
(DE-588)4143413-4
(DE-588)4016928-5
title Verification: theory and practice essays dedicated to Zohar Manna on the occasion of his 64th birthday
title_auth Verification: theory and practice essays dedicated to Zohar Manna on the occasion of his 64th birthday
title_exact_search Verification: theory and practice essays dedicated to Zohar Manna on the occasion of his 64th birthday
title_full Verification: theory and practice essays dedicated to Zohar Manna on the occasion of his 64th birthday Nachum Dershowitz (ed.)
title_fullStr Verification: theory and practice essays dedicated to Zohar Manna on the occasion of his 64th birthday Nachum Dershowitz (ed.)
title_full_unstemmed Verification: theory and practice essays dedicated to Zohar Manna on the occasion of his 64th birthday Nachum Dershowitz (ed.)
title_short Verification: theory and practice
title_sort verification theory and practice essays dedicated to zohar manna on the occasion of his 64th birthday
title_sub essays dedicated to Zohar Manna on the occasion of his 64th birthday
topic Model-checking (Informatique) rasuqam
Vérification de logiciels rasuqam
Computer software Verification
Verifikation (DE-588)4135577-5 gnd
Programmierung (DE-588)4076370-5 gnd
Programmierlogik (DE-588)4047408-2 gnd
Berechnungstheorie (DE-588)4005581-4 gnd
Theoretische Informatik (DE-588)4196735-5 gnd
topic_facet Model-checking (Informatique)
Vérification de logiciels
Computer software Verification
Verifikation
Programmierung
Programmierlogik
Berechnungstheorie
Theoretische Informatik
Aufsatzsammlung
Festschrift
url http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010723549&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link (DE-604)BV000000607
work_keys_str_mv AT dershowitznachum verificationtheoryandpracticeessaysdedicatedtozoharmannaontheoccasionofhis64thbirthday
AT mannazohar verificationtheoryandpracticeessaysdedicatedtozoharmannaontheoccasionofhis64thbirthday

Ähnliche Einträge