Specification and Seamless Verification ofEmbedded Real-Time Systems: FOCUS on Isabelle
Spichkova, Maria
ISBN 10: 3836494523 ISBN 13: 9783836494526
Editorial: VDM Verlag Dr. Müller, 2008
Nuevos
Encuadernación de tapa blanda
Librería:
Best Price, Torrance, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 30 de agosto de 2024
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
SUPER FAST SHIPPING. N° de ref. del artículo 9783836494526
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.
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Detalles bibliográficos
Título: Specification and Seamless Verification ...
Editorial: VDM Verlag Dr. Müller
Año de publicación: 2008
Encuadernación: Encuadernación de tapa blanda
Condición: New
Los mejores resultados en AbeBooks
Imagen del vendedor
Specification and Seamless Verification ofEmbedded Real-Time Systems | FOCUS on Isabelle
Publicado por
VDM Verlag Dr. Müller, 2013
ISBN 10: 3836494523
ISBN 13: 9783836494526
Nuevo
Taschenbuch
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Specification and Seamless Verification ofEmbedded Real-Time Systems | FOCUS on Isabelle | Maria Spichkova | Taschenbuch | Kartoniert / Broschiert | Englisch | 2013 | VDM Verlag Dr. Müller | EAN 9783836494526 | Verantwortliche Person für die EU: OmniScriptum GmbH & Co. KG, Bahnhofstr. 28, 66111 Saarbrücken, info[at]akademikerverlag[dot]de | Anbieter: preigu. Nº de ref. del artículo: 101825552
Comprar nuevo
EUR 66,45
Gastos de envío:
EUR 70,00
De Alemania a Estados Unidos de America
Cantidad disponible: 5 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: 4 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: 6666-IUK-9783836494526
Comprar nuevo
EUR 70,81
Gastos de envío:
EUR 17,56
De Reino Unido a Estados Unidos de America
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: 4 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
Comprar nuevo
EUR 71,14
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
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: 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
Comprar nuevo
EUR 71,89
Gastos de envío:
EUR 3,43
A Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Specification and Seamless Verification of Embedded 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: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 5618163-n
Comprar nuevo
EUR 73,08
Gastos de envío:
EUR 2,27
A Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Specification and Seamless Verification of Embedded 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: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 5618163-n
Comprar nuevo
EUR 73,70
Gastos de envío:
EUR 17,01
De Reino Unido a Estados Unidos de America
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
Comprar nuevo
EUR 74,30
Gastos de envío:
EUR 5,69
De Reino Unido a Estados Unidos de America
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: 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
Comprar nuevo
EUR 74,39
Gastos de envío:
EUR 13,58
De Reino Unido a Estados Unidos de America
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
Comprar nuevo
EUR 77,29
Gastos de envío:
GRATIS
A Estados Unidos de America
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
Comprar nuevo
EUR 79,95
Gastos de envío:
EUR 62,26
De Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles