Pepperdine Papers on Linear Temporal Logic - Staley, Scott M.

. .

Résumé :
This book, Pepperdine Papers on Linear Temporal Logic, documents the research conducted over many years at Pepperdine University culminating in the recent publication of: J. Stanley Warford, David Vega, and Scott M. Staley. 2020. A Calculational Deductive System for Linear Temporal Logic. ACM Comput. Surv. 53, 3, Article 53 (June 2020), 38 pages, https://doi.org/10.1145/3387109 which is freely available for download from the link given above. This book was written with three goals in mind. First, to make the complete documentation of this work widely accessible to engineers and scientists working in this, and related fields. Due to publication page limitations only a small sample of the results of this work could be published in the ACM Computing Surveys article. Second, to update the reader on additional new results that were completed subsequent to the submission of the article to the peer-review process. And, third, to report on related supporting work that was conducted using the automated theorem proving software, ACL2, to confirm a significant number of the calculational proofs. Our hope is that together, the ACM article and this book, can be a significant resource for students and researchers working on LTL specification of reactive and concurrent systems. The audience for this book, Pepperdine Papers on Linear Temporal Logic, includes university students at the undergraduate and graduate levels in computer science, mathematics, software engineering and systems design. This book may also be of interest to practicing professionals and educators in both industry and academia.

Biographie:
Authors of this book have previously authored the following article, which has over 630 downloads from the ACM publications website: J. Stanley Warford, David Vega, and Scott M. Staley. 2020. A Calculational Deductive System for Linear Temporal Logic. ACM Comput. Surv. 53, 3, Article 53 (June 2020), 38 pages. https://doi.org/10.1145/3387109 In addition, J. Stanley Warford has authored 5 other books. The two most closely related to this book are the following: J. Stanley Warford, Computer Systems, Fifth Edition, Jones & Bartlett Learning, 824 pages, 2017. Computer Systems, Fifth Edition provides a clear, detailed, step-by-step introduction to the central concepts in computer organization, assembly language, and computer architecture. It urges students to explore the many dimensions of computer systems through a top-down approach to levels of abstraction. By examining how the different levels of abstraction relate to one another, the text helps students look at computer systems and their components as a unified concept. New & Key Features: - New high-order language - The high-order language is changed from C++ to C. The C language is more common as a systems programming language and is more appropriate for a computer systems text. - New sidebars - Each sidebar is a real-world example of the concepts described in that chapter. As most of the chapters describe the Pep/9 virtual machine, the sidebars for those chapters show corresponding implementations for the Intel x86 architecture. - New and expanded topics - New and expanded topics include, QR codes, color displays, Unicode, UTF-32 and UTF-8 encoding, floating point underflow, big-endian and little-endian order, memory alignment issues, and expanded RISC design principles and MIPS coverage to contrast with the Pep/9 CISC design. - New virtual machine - Pep/8, the virtual machine for the two previous editions, is now superseded by the new and improved Pep/9. Pep/9 retains the same eight addressing modes of Pep/8 but now includes memory-mapped I/O, an improved return-from-subroutine instruction, a new native compare-byte instruction, improved instruction mnemonics, and a new hexadecimal output trap instruction. - New software - The Pep/9 system in the text is supported by two updated open source software applications, the assembler/simulator and the CPU simulator. J. Stanley Warford, Computing Fundamentals, Vieweg, 631 pages, 2002. The book introduces the reader to computer programming, i.e. algorithms...

Sommaire:
This book, Pepperdine Papers on Linear Temporal Logic, documents the research conducted over many years at Pepperdine University culminating in the recent publication of: J. Stanley Warford, David Vega, and Scott M. Staley. 2020. A Calculational Deductive System for Linear Temporal Logic. ACM Comput. Surv. 53, 3, Article 53 (June 2020), 38 pages, https://doi.org/10.1145/3387109 which is freely available for download from the link given above. This book was written with three goals in mind. First, to make the complete documentation of this work widely accessible to engineers and scientists working in this, and related fields. Due to publication page limitations only a small sample of the results of this work could be published in the ACM Computing Surveys article. Second, to update the reader on additional new results that were completed subsequent to the submission of the article to the peer-review process. And, third, to report on related supporting work that was conducted using the automated theorem proving software, ACL2, to confirm a significant number of the calculational proofs. Our hope is that together, the ACM article and this book, can be a significant resource for students and researchers working on LTL specification of reactive and concurrent systems. The audience for this book, Pepperdine Papers on Linear Temporal Logic, includes university students at the undergraduate and graduate levels in computer science, mathematics, software engineering and systems design. This book may also be of interest to practicing professionals and educators in both industry and academia....