Verification of Digital and Hybrid Systems:
This book grew out of a NATO Advanced Study Institute summer school that was held in Antalya, TUrkey from 26 May to 6 June 1997. The purpose of the summer school was to expose recent advances in the formal verification of systems composed of both logical and continuous time components. The course wa...
Gespeichert in:
| Weitere Verfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2000
|
| Ausgabe: | 1st ed. 2000 |
| Schriftenreihe: | Nato ASI Subseries F:, Computer and Systems Sciences
170 |
| Schlagworte: | |
| Online-Zugang: | UBY01 URL des Eerstveröffentlichers |
| Zusammenfassung: | This book grew out of a NATO Advanced Study Institute summer school that was held in Antalya, TUrkey from 26 May to 6 June 1997. The purpose of the summer school was to expose recent advances in the formal verification of systems composed of both logical and continuous time components. The course was structured in two parts. The first part covered theorem-proving, system automaton models, logics, tools, and complexity of verification. The second part covered modeling and verification of hybrid systems, i. e. , systems composed of a discrete event part and a continuous time part that interact with each other in novel ways. Along with advances in microelectronics, methods to design and build logical systems have grown progressively complex. One way to tackle the problem of ensuring the error-free operation of digital or hybrid systems is through the use of formal techniques. The exercise of comparing the formal specification of a logical system namely, what it is supposed to do to its formal operational description-what it actually does!-in an automated or semi-automated manner is called verification. Verification can be performed in an after-the-fact manner, meaning that after a system is already designed, its specification and operational description are regenerated or modified, if necessary, to match the verification tool at hand and the consistency check is carried out |
| Beschreibung: | 1 Online-Ressource (XVIII, 405 p) |
| ISBN: | 9783642596155 |
| DOI: | 10.1007/978-3-642-59615-5 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV047064895 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 201216s2000 |||| o||u| ||||||eng d | ||
| 020 | |a 9783642596155 |9 978-3-642-59615-5 | ||
| 024 | 7 | |a 10.1007/978-3-642-59615-5 |2 doi | |
| 035 | |a (ZDB-2-SCS)978-3-642-59615-5 | ||
| 035 | |a (OCoLC)1227480820 | ||
| 035 | |a (DE-599)BVBBV047064895 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 082 | 0 | |a 004.6 |2 23 | |
| 084 | |a ST 140 |0 (DE-625)143592: |2 rvk | ||
| 084 | |a ST 150 |0 (DE-625)143594: |2 rvk | ||
| 245 | 1 | 0 | |a Verification of Digital and Hybrid Systems |c edited by M. Kemal Inan, Robert P. Kurshan |
| 246 | 1 | 3 | |a Proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26 - June 6, 1997 |
| 250 | |a 1st ed. 2000 | ||
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 2000 | |
| 300 | |a 1 Online-Ressource (XVIII, 405 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Nato ASI Subseries F:, Computer and Systems Sciences |v 170 | |
| 520 | |a This book grew out of a NATO Advanced Study Institute summer school that was held in Antalya, TUrkey from 26 May to 6 June 1997. The purpose of the summer school was to expose recent advances in the formal verification of systems composed of both logical and continuous time components. The course was structured in two parts. The first part covered theorem-proving, system automaton models, logics, tools, and complexity of verification. The second part covered modeling and verification of hybrid systems, i. e. , systems composed of a discrete event part and a continuous time part that interact with each other in novel ways. Along with advances in microelectronics, methods to design and build logical systems have grown progressively complex. One way to tackle the problem of ensuring the error-free operation of digital or hybrid systems is through the use of formal techniques. The exercise of comparing the formal specification of a logical system namely, what it is supposed to do to its formal operational description-what it actually does!-in an automated or semi-automated manner is called verification. Verification can be performed in an after-the-fact manner, meaning that after a system is already designed, its specification and operational description are regenerated or modified, if necessary, to match the verification tool at hand and the consistency check is carried out | ||
| 650 | 4 | |a Computer Systems Organization and Communication Networks | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Computation by Abstract Devices | |
| 650 | 4 | |a Artificial Intelligence | |
| 650 | 4 | |a Complexity | |
| 650 | 4 | |a Computer organization | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computational complexity | |
| 650 | 0 | 7 | |a Digitales System |0 (DE-588)4012300-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Qualitätskontrolle |0 (DE-588)4047968-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Hybrides System |0 (DE-588)4510314-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1997 |z Antalya |2 gnd-content | |
| 689 | 0 | 0 | |a Digitales System |0 (DE-588)4012300-5 |D s |
| 689 | 0 | 1 | |a Hybrides System |0 (DE-588)4510314-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Digitales System |0 (DE-588)4012300-5 |D s |
| 689 | 1 | 1 | |a Qualitätskontrolle |0 (DE-588)4047968-7 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Inan, M. Kemal |4 edt | |
| 700 | 1 | |a Kurshan, Robert P. |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9783642640520 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9783540655954 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9783642596162 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-59615-5 |x Verlag |z URL des Eerstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SCS | ||
| 940 | 1 | |q ZDB-2-SCS_2000/2004 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032472007 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-642-59615-5 |l UBY01 |p ZDB-2-SCS |q ZDB-2-SCS_2000/2004 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804182063539027968 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Inan, M. Kemal Kurshan, Robert P. |
| author2_role | edt edt |
| author2_variant | m k i mk mki r p k rp rpk |
| author_facet | Inan, M. Kemal Kurshan, Robert P. |
| building | Verbundindex |
| bvnumber | BV047064895 |
| classification_rvk | ST 140 ST 150 |
| collection | ZDB-2-SCS |
| ctrlnum | (ZDB-2-SCS)978-3-642-59615-5 (OCoLC)1227480820 (DE-599)BVBBV047064895 |
| dewey-full | 004.6 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.6 |
| dewey-search | 004.6 |
| dewey-sort | 14.6 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/978-3-642-59615-5 |
| edition | 1st ed. 2000 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04122nmm a2200697zcb4500</leader><controlfield tag="001">BV047064895</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">201216s2000 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642596155</subfield><subfield code="9">978-3-642-59615-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-59615-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-3-642-59615-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1227480820</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047064895</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.6</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 140</subfield><subfield code="0">(DE-625)143592:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 150</subfield><subfield code="0">(DE-625)143594:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Verification of Digital and Hybrid Systems</subfield><subfield code="c">edited by M. Kemal Inan, Robert P. Kurshan</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26 - June 6, 1997</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2000</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVIII, 405 p)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Nato ASI Subseries F:, Computer and Systems Sciences</subfield><subfield code="v">170</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book grew out of a NATO Advanced Study Institute summer school that was held in Antalya, TUrkey from 26 May to 6 June 1997. The purpose of the summer school was to expose recent advances in the formal verification of systems composed of both logical and continuous time components. The course was structured in two parts. The first part covered theorem-proving, system automaton models, logics, tools, and complexity of verification. The second part covered modeling and verification of hybrid systems, i. e. , systems composed of a discrete event part and a continuous time part that interact with each other in novel ways. Along with advances in microelectronics, methods to design and build logical systems have grown progressively complex. One way to tackle the problem of ensuring the error-free operation of digital or hybrid systems is through the use of formal techniques. The exercise of comparing the formal specification of a logical system namely, what it is supposed to do to its formal operational description-what it actually does!-in an automated or semi-automated manner is called verification. Verification can be performed in an after-the-fact manner, meaning that after a system is already designed, its specification and operational description are regenerated or modified, if necessary, to match the verification tool at hand and the consistency check is carried out</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Systems Organization and Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computation by Abstract Devices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer organization</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational complexity</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Digitales System</subfield><subfield code="0">(DE-588)4012300-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Qualitätskontrolle</subfield><subfield code="0">(DE-588)4047968-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hybrides System</subfield><subfield code="0">(DE-588)4510314-8</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">1997</subfield><subfield code="z">Antalya</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Digitales System</subfield><subfield code="0">(DE-588)4012300-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Hybrides System</subfield><subfield code="0">(DE-588)4510314-8</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">Digitales System</subfield><subfield code="0">(DE-588)4012300-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Qualitätskontrolle</subfield><subfield code="0">(DE-588)4047968-7</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">Inan, M. Kemal</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kurshan, Robert P.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9783642640520</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9783540655954</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9783642596162</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-59615-5</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Eerstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2000/2004</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032472007</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-59615-5</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="q">ZDB-2-SCS_2000/2004</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1997 Antalya gnd-content |
| genre_facet | Konferenzschrift 1997 Antalya |
| id | DE-604.BV047064895 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T16:12:23Z |
| indexdate | 2024-07-10T09:01:36Z |
| institution | BVB |
| isbn | 9783642596155 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032472007 |
| oclc_num | 1227480820 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 1 Online-Ressource (XVIII, 405 p) |
| psigel | ZDB-2-SCS ZDB-2-SCS_2000/2004 ZDB-2-SCS ZDB-2-SCS_2000/2004 |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series2 | Nato ASI Subseries F:, Computer and Systems Sciences |
| spelling | Verification of Digital and Hybrid Systems edited by M. Kemal Inan, Robert P. Kurshan Proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26 - June 6, 1997 1st ed. 2000 Berlin, Heidelberg Springer Berlin Heidelberg 2000 1 Online-Ressource (XVIII, 405 p) txt rdacontent c rdamedia cr rdacarrier Nato ASI Subseries F:, Computer and Systems Sciences 170 This book grew out of a NATO Advanced Study Institute summer school that was held in Antalya, TUrkey from 26 May to 6 June 1997. The purpose of the summer school was to expose recent advances in the formal verification of systems composed of both logical and continuous time components. The course was structured in two parts. The first part covered theorem-proving, system automaton models, logics, tools, and complexity of verification. The second part covered modeling and verification of hybrid systems, i. e. , systems composed of a discrete event part and a continuous time part that interact with each other in novel ways. Along with advances in microelectronics, methods to design and build logical systems have grown progressively complex. One way to tackle the problem of ensuring the error-free operation of digital or hybrid systems is through the use of formal techniques. The exercise of comparing the formal specification of a logical system namely, what it is supposed to do to its formal operational description-what it actually does!-in an automated or semi-automated manner is called verification. Verification can be performed in an after-the-fact manner, meaning that after a system is already designed, its specification and operational description are regenerated or modified, if necessary, to match the verification tool at hand and the consistency check is carried out Computer Systems Organization and Communication Networks Software Engineering Computation by Abstract Devices Artificial Intelligence Complexity Computer organization Software engineering Computers Artificial intelligence Computational complexity Digitales System (DE-588)4012300-5 gnd rswk-swf Qualitätskontrolle (DE-588)4047968-7 gnd rswk-swf Hybrides System (DE-588)4510314-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1997 Antalya gnd-content Digitales System (DE-588)4012300-5 s Hybrides System (DE-588)4510314-8 s DE-604 Qualitätskontrolle (DE-588)4047968-7 s Inan, M. Kemal edt Kurshan, Robert P. edt Erscheint auch als Druck-Ausgabe 9783642640520 Erscheint auch als Druck-Ausgabe 9783540655954 Erscheint auch als Druck-Ausgabe 9783642596162 https://doi.org/10.1007/978-3-642-59615-5 Verlag URL des Eerstveröffentlichers Volltext |
| spellingShingle | Verification of Digital and Hybrid Systems Computer Systems Organization and Communication Networks Software Engineering Computation by Abstract Devices Artificial Intelligence Complexity Computer organization Software engineering Computers Artificial intelligence Computational complexity Digitales System (DE-588)4012300-5 gnd Qualitätskontrolle (DE-588)4047968-7 gnd Hybrides System (DE-588)4510314-8 gnd |
| subject_GND | (DE-588)4012300-5 (DE-588)4047968-7 (DE-588)4510314-8 (DE-588)1071861417 |
| title | Verification of Digital and Hybrid Systems |
| title_alt | Proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26 - June 6, 1997 |
| title_auth | Verification of Digital and Hybrid Systems |
| title_exact_search | Verification of Digital and Hybrid Systems |
| title_exact_search_txtP | Verification of Digital and Hybrid Systems |
| title_full | Verification of Digital and Hybrid Systems edited by M. Kemal Inan, Robert P. Kurshan |
| title_fullStr | Verification of Digital and Hybrid Systems edited by M. Kemal Inan, Robert P. Kurshan |
| title_full_unstemmed | Verification of Digital and Hybrid Systems edited by M. Kemal Inan, Robert P. Kurshan |
| title_short | Verification of Digital and Hybrid Systems |
| title_sort | verification of digital and hybrid systems |
| topic | Computer Systems Organization and Communication Networks Software Engineering Computation by Abstract Devices Artificial Intelligence Complexity Computer organization Software engineering Computers Artificial intelligence Computational complexity Digitales System (DE-588)4012300-5 gnd Qualitätskontrolle (DE-588)4047968-7 gnd Hybrides System (DE-588)4510314-8 gnd |
| topic_facet | Computer Systems Organization and Communication Networks Software Engineering Computation by Abstract Devices Artificial Intelligence Complexity Computer organization Software engineering Computers Artificial intelligence Computational complexity Digitales System Qualitätskontrolle Hybrides System Konferenzschrift 1997 Antalya |
| url | https://doi.org/10.1007/978-3-642-59615-5 |
| work_keys_str_mv | AT inanmkemal verificationofdigitalandhybridsystems AT kurshanrobertp verificationofdigitalandhybridsystems AT inanmkemal proceedingsofthenatoadvancedstudyinstituteonverificationofdigitalandhybridsystemsantalyamay26june61997 AT kurshanrobertp proceedingsofthenatoadvancedstudyinstituteonverificationofdigitalandhybridsystemsantalyamay26june61997 |