Author:
Publisher:
ISBN: 9781581136623
Category : Programming languages (Electronic computers)
Languages : en
Pages : 350
Book Description
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI'03)
Author:
Publisher:
ISBN: 9781581136623
Category : Programming languages (Electronic computers)
Languages : en
Pages : 350
Book Description
Publisher:
ISBN: 9781581136623
Category : Programming languages (Electronic computers)
Languages : en
Pages : 350
Book Description
Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation
Author:
Publisher:
ISBN:
Category : Programming languages (Electronic computers)
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category : Programming languages (Electronic computers)
Languages : en
Pages :
Book Description
Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation ( PLDI )
Author: Conference on Programming Langua
Publisher:
ISBN:
Category :
Languages : en
Pages : 365
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 365
Book Description
ACM SIGPLAN Notices
Author:
Publisher:
ISBN:
Category : Programming languages (Electronic computers)
Languages : en
Pages : 1102
Book Description
Publisher:
ISBN:
Category : Programming languages (Electronic computers)
Languages : en
Pages : 1102
Book Description
Embedded Software Verification and Debugging
Author: Djones Lettnin
Publisher: Springer
ISBN: 1461422663
Category : Technology & Engineering
Languages : en
Pages : 220
Book Description
This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable. Since the verification of complex systems needs to encompass the verification of both hardware and embedded software modules, this book focuses on verification and debugging approaches for embedded software with hardware dependencies. Coverage includes the entire flow of design, verification and debugging of embedded software and all key approaches to debugging, dynamic, static, and hybrid verification. This book discusses the current, industrial embedded software verification flow, as well as emerging trends with focus on formal and hybrid verification and debugging approaches.
Publisher: Springer
ISBN: 1461422663
Category : Technology & Engineering
Languages : en
Pages : 220
Book Description
This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable. Since the verification of complex systems needs to encompass the verification of both hardware and embedded software modules, this book focuses on verification and debugging approaches for embedded software with hardware dependencies. Coverage includes the entire flow of design, verification and debugging of embedded software and all key approaches to debugging, dynamic, static, and hybrid verification. This book discusses the current, industrial embedded software verification flow, as well as emerging trends with focus on formal and hybrid verification and debugging approaches.
Proceedings of the ACM SIGPLAN '00
Author: Conference on Programming Language Design and Implementation (2000, Vancouver, British Columbia)
Publisher:
ISBN: 9781581131994
Category :
Languages : en
Pages :
Book Description
Publisher:
ISBN: 9781581131994
Category :
Languages : en
Pages :
Book Description
Proceedings of the 1997 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
Author:
Publisher: Assn for Computing Machinery
ISBN: 9780897919074
Category : Computer science
Languages : en
Pages : 365
Book Description
Publisher: Assn for Computing Machinery
ISBN: 9780897919074
Category : Computer science
Languages : en
Pages : 365
Book Description
PLDI '18
Author: Jeffrey S. Foster
Publisher:
ISBN:
Category : Programming languages (Electronic computers)
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category : Programming languages (Electronic computers)
Languages : en
Pages :
Book Description
Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI)
Author: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
Publisher:
ISBN:
Category :
Languages : en
Pages : 365
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 365
Book Description
Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation, PLDI
Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 327
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 327
Book Description