東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Provably correct systems

Hinchey, Mike G.

FindBook

Google Book

Amazon

博客來

Provably correct systems

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Provably correct systems/ edited 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.
內容註:	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.
Contained By:	Springer eBooks
標題:	Computer software - Verification. -
電子資源:	http://dx.doi.org/10.1007/978-3-319-48628-4
ISBN:	9783319486284

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

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

828401
Computer software
--Verification.

LC Class. No.: QA76.76.V47

Dewey Class. No.: 005.14

Provably correct systems
LDR:02302nmm a2200325 a 4500 001 2092564
003 DE-He213
005 20170301185745.0
006 m d
007 cr nn 008maaau
008 171117s2017 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 828401
650 0 $a Embedded computer systems. $3 582088
650 1 4 $a Computer Science. $3 626642
650 2 4 $a Mathematical Logic and Formal Languages. $3 892517
650 2 4 $a Logics and Meanings of Programs. $3 892495
650 2 4 $a Models and Principles. $3 891221
650 2 4 $a Programming Techniques. $3 892496
700 1 $a Hinchey, Mike G. $3 3226529
700 1 $a Bowen, Jonathan P. $3 1071859
700 1 $a Olderog, Ernst-Rudiger. $3 1072970
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a NASA monographs in systems and software engineering. $3 2088816
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-48628-4
950 $a Computer Science (Springer-11645)