KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Automatic Verification Methods for Finite State Systems
  • Produktbild: Automatic Verification Methods for Finite State Systems
Band 407

Automatic Verification Methods for Finite State Systems International Workshop, Grenoble, France. June 12-14, 1989. Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

10.01.1990

Abbildungen

XI, 384 p.

Herausgeber

Joseph Sifakis

Verlag

Springer Berlin

Seitenzahl

384

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

598 g

Auflage

1990

Sprache

Englisch

ISBN

978-3-540-52148-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

10.01.1990

Abbildungen

XI, 384 p.

Herausgeber

Joseph Sifakis

Verlag

Springer Berlin

Seitenzahl

384

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

598 g

Auflage

1990

Sprache

Englisch

ISBN

978-3-540-52148-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Automatic Verification Methods for Finite State Systems
  • Produktbild: Automatic Verification Methods for Finite State Systems
  • Process calculi, from theory to practice: Verification tools.- Testing equivalence as a bisimulation equivalence.- The concurrency workbench.- Argonaute: Graphical description, semantics and verification of reactive systems by using a process algebra.- Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications.- Verifying properties of large sets of processes with network invariants.- A method for verification of trace and test equivalence.- Projections of the reachability graph and environment models.- Proving properties of elementary net systems with a special-purpose theorem prover.- Verification by abstraction and bisimulation.- MEC : a system for constructing and analysing transition systems.- Fair SMG and linear time model checking.- Network grammars, communication behaviors and automatic verification.- CCS, liveness, and local model checking in the linear time mu-calculus.- Implementing a model checking algorithm by adapting existing automated tools.- On-line model-checking for finite linear temporal logic specifications.- Timing assumptions and verification of finite-state concurrent systems.- Specifying, programming and verifying real-time systems using a synchronous declarative language.- Modal specifications.- Automated verification of timed transition models.- Temporal logic case study.- The complexity of collapsing reachability graphs.- What are the limits of model checking methods for the verification of real life protocols?.- Requirement analysis for communication protocols.- State exploration by transformation with lola.- Parallel protocol verification: The two-phase algorithm and complexity analysis.- Formal verification of synchronous circuits based on string-functional semantics: The 7 paillet circuits in boyer-moore.- Combining CTL, trace theory and timing models.- Localized verification of circuit descriptions.- Verification of synchronous sequential machines based on symbolic execution.- Parallel composition of lockstep synchronous processes for hardware validation: Divide-and-conquer composition.