Artículos relacionados a Specification and Seamless Verification ofEmbedded...
Specification and Seamless Verification ofEmbedded Real-Time Systems: FOCUS on Isabelle - Tapa blanda
Sinopsis
The purpose of this thesis is to create a coupling of the formal specification framework Focus in the generic theorem prover Isabelle/HOL, a logical framework based on Higher-Order Logic. The main focus of this work is on specification and verification of systems that are especially safety critical - embedded real-time systems. The specification and verification/validationmethodologies are treated as a single, joined, methodology with the main focus on the specification part.The key contributions of the thesis are+ Embedding of that part of the framework Focus, which is appropriate for the specification of real-time systems, into Isabelle/HOL. "Focus on Isabelle" enables to validate and verify system specificationsin a methodological way.+ Syntax extensions for Focus for the argumentation over time intervals: a special kind of tables, timed state transition diagrams, and a number of new operators. The deep embedding into Isabelle/HOL includes all these extensions.+ Schemata for automatic correctness proofs in Isabelle/HOL of the syntactic interfaces for specified system components.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
The purpose of this thesis is to create a coupling of the formal specification framework Focus in the generic theorem prover Isabelle/HOL, a logical framework based on Higher-Order Logic. The main focus of this work is on specification and verification of systems that are especially safety critical - embedded real-time systems. The specification and verification/validation methodologies are treated as a single, joined, methodology with the main focus on the specification part. The key contributions of the thesis are + Embedding of that part of the framework Focus, which is appropriate for the specification of real-time systems, into Isabelle/HOL. "Focus on Isabelle" enables to validate and verify system specifications in a methodological way. + Syntax extensions for Focus for the argumentation over time intervals: a special kind of tables, timed state transition diagrams, and a number of new operators. The deep embedding into Isabelle/HOL includes all these extensions. + Schemata for automatic correctness proofs in Isabelle/HOL of the syntactic interfaces for specified system components.
Biografía del autor
1980: born in Moscow, Russia2000: B.C.Sc. Degree, Moscow Power Engineering Institute (Technical University)2003 M.C.Sc. Degree, Technische Universität Dresden (due to DAAD-Sienens Scholarship Programm)from 2003: TU München, Department of Informatics, Chair Software & Systems Engineering2007: Dr.rer.nat. (Ph.D.), TU München
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 75,90
EUR 5,19 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Specification and Seamless Verification ofEmbedded...
Imagen de archivo
Specification and Seamless Verification ofEmbedded Real-Time Systems: FOCUS on Isabelle
Publicado por
VDM Verlag Dr. Müller, 2008
ISBN 10: 3836494523
ISBN 13: 9783836494526
Nuevo
Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783836494526_new
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Specification and Seamless Verification ofEmbedded RealTime Systems FOCUS on Isabelle
Impresión bajo demandaLibrería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9783836494526
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Specification and Seamless Verification ofEmbedded RealTime Systems FOCUS on Isabelle
Impresión bajo demandaLibrería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9783836494526
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Specification and Seamless Verification ofEmbedded Real-Time Systems: FOCUS on Isabelle
Publicado por
VDM Verlag Dr. Müller, 2008
ISBN 10: 3836494523
ISBN 13: 9783836494526
Nuevo
Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783836494526
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Specification and Seamless Verification ofEmbedded Real-Time Systems: FOCUS on Isabelle
Publicado por
VDM Verlag Dr. M�ller 2008-04-15, 2008
ISBN 10: 3836494523
ISBN 13: 9783836494526
Nuevo
Paperback
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: 6666-IUK-9783836494526
Cantidad disponible: 10 disponibles
Imagen del vendedor
Specification and Seamless Verification ofEmbedded Real-Time Systems
Publicado por
VDM Verlag Dr. Müller|VDM Verlag Dr. Müller e.K., 2013
ISBN 10: 3836494523
ISBN 13: 9783836494526
Nuevo
Kartoniert / Broschiert
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Kartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The purpose of this thesis is to create a coupling of the formal specification framework Focus in the generic theorem prover Isabelle/HOL, a logical framework based on Higher-Order Logic. The main focus of this work is on specification and verification of s. Nº de ref. del artículo: 5389714
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Specification and Seamless Verification ofEmbedded Real-Time Systems : FOCUS on Isabelle
Publicado por
VDM Verlag Dr. Müller, VDM Verlag Dr. Müller E.K., 2008
ISBN 10: 3836494523
ISBN 13: 9783836494526
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - The purpose of this thesis is to create a coupling of the formal specification framework Focus in the generic theorem prover Isabelle/HOL, a logical framework based on Higher-Order Logic. The main focus of this work is on specification and verification of systems that are especially safety critical - embedded real-time systems. The specification and verification/validationmethodologies are treated as a single, joined, methodology with the main focus on the specification part.The key contributions of the thesis are+ Embedding of that part of the framework Focus, which is appropriate for the specification of real-time systems, into Isabelle/HOL. 'Focus on Isabelle' enables to validate and verify system specificationsin a methodological way.+ Syntax extensions for Focus for the argumentation over time intervals: a special kind of tables, timed state transition diagrams, and a number of new operators. The deep embedding into Isabelle/HOL includes all these extensions.+ Schemata for automatic correctness proofs in Isabelle/HOL of the syntactic interfaces for specified system components. Nº de ref. del artículo: 9783836494526
Cantidad disponible: 2 disponibles
Imagen de archivo
Specification and Seamless Verification ofEmbedded Real-Time Systems: FOCUS on Isabelle
Publicado por
VDM Verlag Dr. Müller, 2008
ISBN 10: 3836494523
ISBN 13: 9783836494526
Nuevo
Tapa blanda
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLING22Oct2817100588791
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Specification and Seamless Verification ofEmbedded Real-Time Systems: FOCUS on Isabelle
Publicado por
VDM Verlag Dr. Müller, 2008
ISBN 10: 3836494523
ISBN 13: 9783836494526
Antiguo o usado
Paperback
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: Like New. Like New. book. Nº de ref. del artículo: ERICA75838364945236
Cantidad disponible: 1 disponibles