國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Provably correct systems

Bowen, Jonathan P.

Provably correct systems

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Provably correct systemsedited by Mike G. Hinchey, Jonathan P. Bowen, Ernst-Rudiger Olderog.
其他作者:	Hinchey, Mike G.
出版者:	Cham :Springer International Publishing :2017.
面頁冊數:	xviii, 328 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer eBooks
標題:	Computer softwareVerification.
電子資源:	http://dx.doi.org/10.1007/978-3-319-48628-4
ISBN:	9783319486284$q(electronic bk.)

Provably correct systems
Provably correct systems[electronic resource] /edited by Mike G. Hinchey, Jonathan P. Bowen, Ernst-Rudiger Olderog. - Cham :Springer International Publishing :2017. - xviii, 328 p. :ill. (some col.), digital ;24 cm. - NASA monographs in systems and software engineering,1860-0131. - NASA monographs in systems and software engineering..

Foreword -- Preface -- Part I: Historic Account -- ProCoS: How It All Began - As Seen from Denmark -- Part II: Hybrid Systems -- Constraint-Solving Techniques for the Analysis of Probabilistic Hybrid Systems -- MARS: A Tool chain for Modelling, Analysis and Verification of Hybrid Systems -- Part III: Correctness of Concurrent Algorithms -- A Proof Method for Linearizability on TSO Architectures -- Part IV: Interfaces and Linking -- Linking Discrete and Continuous Models, Applied to Traffic Manoeuvres -- Towards Interface-Driven Design of Evolving Component-Based Architectures -- Part V: Automatic Verification -- Computing Verified Machine Address Bounds during Symbolic Exploration of Code -- Engineering a Formal, Executable x86 ISA Simulator for Software Verification -- Advances in Connection-Based Automated Theorem Proving -- Part VI: Run-Time Assertion Checking -- Run-Time Deadlock Detection -- In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design -- Part VII: Formal and Semi-Formal Methods -- From ProCoS to Space and Mental Models - a Survey of Combing Formal and Semi-Formal Methods -- Part VIII: Web-Supported Communities in Science -- Provably Correct Systems: Community, Connections and Citations.

ISBN: 9783319486284$q(electronic bk.)

Standard No.: 10.1007/978-3-319-48628-4doiSubjects--Topical Terms:

184731
Computer software
--Verification.

LC Class. No.: QA76.76.V47

Dewey Class. No.: 005.14

Provably correct systems
LDR:02302nmm a2200325 a 4500 001 508871
003 DE-He213
005 20170301185745.0
006 m d
007 cr nn 008maaau
008 171121s2017 gw s 0 eng d
020 $a 9783319486284$q(electronic bk.)
020 $a 9783319486277$q(paper)
024 7 $a 10.1007/978-3-319-48628-4 $2 doi
035 $a 978-3-319-48628-4
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.76.V47
072 7 $a UYA $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a COM051010 $2 bisacsh
082 0 4 $a 005.14 $2 23
090 $a QA76.76.V47 $b P969 2017
245 0 0 $a Provably correct systems $h [electronic resource] / $c edited by Mike G. Hinchey, Jonathan P. Bowen, Ernst-Rudiger Olderog.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2017.
300 $a xviii, 328 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a NASA monographs in systems and software engineering, $x 1860-0131
505 0 $a Foreword -- Preface -- Part I: Historic Account -- ProCoS: How It All Began - As Seen from Denmark -- Part II: Hybrid Systems -- Constraint-Solving Techniques for the Analysis of Probabilistic Hybrid Systems -- MARS: A Tool chain for Modelling, Analysis and Verification of Hybrid Systems -- Part III: Correctness of Concurrent Algorithms -- A Proof Method for Linearizability on TSO Architectures -- Part IV: Interfaces and Linking -- Linking Discrete and Continuous Models, Applied to Traffic Manoeuvres -- Towards Interface-Driven Design of Evolving Component-Based Architectures -- Part V: Automatic Verification -- Computing Verified Machine Address Bounds during Symbolic Exploration of Code -- Engineering a Formal, Executable x86 ISA Simulator for Software Verification -- Advances in Connection-Based Automated Theorem Proving -- Part VI: Run-Time Assertion Checking -- Run-Time Deadlock Detection -- In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design -- Part VII: Formal and Semi-Formal Methods -- From ProCoS to Space and Mental Models - a Survey of Combing Formal and Semi-Formal Methods -- Part VIII: Web-Supported Communities in Science -- Provably Correct Systems: Community, Connections and Citations.
650 0 $a Computer software $x Verification. $3 184731
650 0 $a Embedded computer systems. $3 184402
650 1 4 $a Computer Science. $3 212513
650 2 4 $a Mathematical Logic and Formal Languages. $3 275383
650 2 4 $a Logics and Meanings of Programs. $3 275357
650 2 4 $a Models and Principles. $3 273718
650 2 4 $a Programming Techniques. $3 274470
700 1 $a Hinchey, Mike G. $3 775299
700 1 $a Bowen, Jonathan P. $3 468363
700 1 $a Olderog, Ernst-Rudiger. $3 376524
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a NASA monographs in systems and software engineering. $3 696398
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-48628-4
950 $a Computer Science (Springer-11645)