Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings - neues Buch
2004, ISBN: 9783540247326
Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr' eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trent… Mehr…
hive.co.uk No. 9783540247326. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings - neues Buch
2004, ISBN: 9783540247326
Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr' eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trent… Mehr…
hive.co.uk No. 9783540247326. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2004, ISBN: 9783540247326
Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr´ eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trent… Mehr…
Springer.com Nr. 978-3-540-24732-6. Versandkosten:Worldwide free shipping, , plus verzendkosten., zzgl. Versandkosten Details... |
2004, ISBN: 9783540247326
11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2004
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
2004, ISBN: 9783540247326
11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings, eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
lehmanns.de Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings - neues Buch
2004, ISBN: 9783540247326
Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr' eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trent… Mehr…
Sharon McDonald:
Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings - neues Buch2004, ISBN: 9783540247326
Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr' eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trent… Mehr…
2004
ISBN: 9783540247326
Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr´ eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trent… Mehr…
2004, ISBN: 9783540247326
11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2004
2004, ISBN: 9783540247326
11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings, eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Model Checking Software
EAN (ISBN-13): 9783540247326
Erscheinungsjahr: 2004
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-05-10T03:52:07+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-04-10T11:40:15+02:00 (Berlin)
ISBN/EAN: 9783540247326
ISBN - alternative Schreibweisen:
978-3-540-24732-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: ingomar kloss, zimmermann
Titel des Buches: barcelona
Daten vom Verlag:
Autor/in: Susanne Graf; Laurent Mounier
Titel: Lecture Notes in Computer Science; Model Checking Software - 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
Verlag: Springer; Springer Berlin
314 Seiten
Erscheinungsjahr: 2004-02-27
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 314 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; C++ programming language; Java; SPIN; SPIN model checking; Unified Modeling Language (UML); abstract interpretation; abstraction; explicit model checking; formal methods; formal specification; formal verification; modal verification; testing; validation; verification; C; Software Engineering; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Computer Science; Compiler und Übersetzer; Theoretische Informatik; BC
Invited Paper.- Formal Analysis of Processor Timing Models.- Heuristics and Probabilities.- Typical Structural Properties of State Spaces.- State Caching Reconsidered.- Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM.- Fast and Accurate Bitstate Verification for SPIN.- Improvements of SPIN.- Model-Driven Software Verification.- Minimization of Counterexamples in SPIN.- Validation of Timed Systems.- Black-Box Conformance Testing for Real-Time Systems.- Validation of UML Models via a Mapping to Communicating Extended Timed Automata.- Tool Papers.- Explicit State Model Checking with Hopper.- SEQ.OPEN: A Tool for Efficient Trace-Based Verification.- Model Checking Genetic Regulatory Networks Using GNA and CADP.- Abstraction and Symbolic Methods.- Verification of Java Programs Using Symbolic Execution and Invariant Generation.- Polynomial Time Image Computation with Interval-Definable Counters Systems.- Using Fairness to Make Abstractions Work.- A Scalable Incomplete Test for Message Buffer Overflow in Promela Models.- Applications.- Translation from Adapted UML to Promela for CORBA-Based Applications.- Verifying Commit-Atomicity Using Model-Checking.- Analysis of Distributed Spin Applied to Industrial-Scale Models.- Verification of MPI-Based Software for Scientific Computation.- Tutorials.- Advanced SPIN Tutorial.- IF Validation Environment Tutorial.Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030846299 Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings Alfons Laarman Editor (50-99.99)
- 9783030846299 Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings Alfons Laarman Editor (50-99.99)
- 9783030309220 Model Checking Software (Biondi, Fabrizio|Given-Wilson, Thomas|Legay, Axel)
- 9783030309237 Model Checking Software (Fabrizio Biondi; Thomas Given-Wilson; Axel Legay)
- 9783540213147 Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings (Lecture Notes in Computer Science, 2989, Band 2989) (Susanne Graf; Laurent Mounier)
< zum Archiv...