Automatic Verification of Sequential Infinite-State Processes
Afbeeldingen
Sla de afbeeldingen overArtikel vergelijken
Auteur:
Olaf Burkart
Olaf Burkart
- Engels
- Paperback
- 9783540639824
- 17 december 1997
- 163 pagina's
Samenvatting
A common approach in software engineering is to apply during the design phase a variety of structured techniques like top-down design, decomposition and abstraction, while only subsequently, in the implementation phase, is the design tested to ensure reliability.
A common approach in software engineering is to apply during the design phase a variety of structured techniques like top-down design, decomposition and abstraction, while only subsequently, in the implementation phase, is the design tested to ensure reliability. But this approach neglects that central aspects of software design and program development have a strong formal character which admits tool support for the construction of reliable and correct computer systems based on formal reasoning. This monograph provides much information both for theoreticians interested in algebraic theories, and for software engineers building practically relevant tools. The author presents the theoretical foundations needed for the verification of reactive, sequential infinite-state systems. Two new algorithms are introduced allowing for automatic verification of important aspects such as safety or liveness properites of a given infinite-state system. The formal framework developed involves recent results from various theoretical areas like process algebras, fixpoint theory, modal logics and model checking.
A common approach in software engineering is to apply during the design phase a variety of structured techniques like top-down design, decomposition and abstraction, while only subsequently, in the implementation phase, is the design tested to ensure reliability. But this approach neglects that central aspects of software design and program development have a strong formal character which admits tool support for the construction of reliable and correct computer systems based on formal reasoning. This monograph provides much information both for theoreticians interested in algebraic theories, and for software engineers building practically relevant tools. The author presents the theoretical foundations needed for the verification of reactive, sequential infinite-state systems.
A common approach in software engineering is to apply during the design phase a variety of structured techniques like top-down design, decomposition and abstraction, while only subsequently, in the implementation phase, is the design tested to ensure reliability. But this approach neglects that central aspects of software design and program development have a strong formal character which admits tool support for the construction of reliable and correct computer systems based on formal reasoning. This monograph provides much information both for theoreticians interested in algebraic theories, and for software engineers building practically relevant tools. The author presents the theoretical foundations needed for the verification of reactive, sequential infinite-state systems. Two new algorithms are introduced allowing for automatic verification of important aspects such as safety or liveness properites of a given infinite-state system. The formal framework developed involves recent results from various theoretical areas like process algebras, fixpoint theory, modal logics and model checking.
A common approach in software engineering is to apply during the design phase a variety of structured techniques like top-down design, decomposition and abstraction, while only subsequently, in the implementation phase, is the design tested to ensure reliability. But this approach neglects that central aspects of software design and program development have a strong formal character which admits tool support for the construction of reliable and correct computer systems based on formal reasoning. This monograph provides much information both for theoreticians interested in algebraic theories, and for software engineers building practically relevant tools. The author presents the theoretical foundations needed for the verification of reactive, sequential infinite-state systems.
Productspecificaties
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
Inhoud
- Taal
- en
- Bindwijze
- Paperback
- Oorspronkelijke releasedatum
- 17 december 1997
- Aantal pagina's
- 163
- Illustraties
- Nee
Betrokkenen
- Hoofdauteur
- Olaf Burkart
- Tweede Auteur
- Olaf Burkart
- Hoofduitgeverij
- Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Overige kenmerken
- Extra groot lettertype
- Nee
- Product breedte
- 155 mm
- Product lengte
- 235 mm
- Studieboek
- Ja
- Verpakking breedte
- 155 mm
- Verpakking hoogte
- 235 mm
- Verpakking lengte
- 235 mm
- Verpakkingsgewicht
- 284 g
EAN
- EAN
- 9783540639824
Je vindt dit artikel in
- Categorieën
- Boek, ebook of luisterboek?
- Boek
- Beschikbaarheid
- Leverbaar
- Taal
- Engels
- Studieboek of algemeen
- Algemene boeken
Kies gewenste uitvoering
Bindwijze
: Paperback
Prijsinformatie en bestellen
De prijs van dit product is 29 euro en 92 cent. Dit is een tweedehands product.Alleen tweedehands
Goed
Ref9839
Ref9839
1 - 2 weken
Verkoop door
BAY EXPRESS
- Bestellen en betalen via bol
- Prijs inclusief verzendkosten, verstuurd door BAY EXPRESS
- 30 dagen bedenktijd en gratis retourneren
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud over dit artikel:
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan onderstaande link om melding te doen.