Model Checking Software
Springer Berlin (Verlag)
978-3-540-73369-0 (ISBN)
StackSnuffer: Curing Orion's Unsoundness.- Tutorial: Parallel Model Checking.- Local Abstraction-Refinement for the mu-Calculus.- Minimal Counterexample Generation for SPIN.- Generating Counter-Examples Through Randomized Guided Search.- Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software.- Some Solutions to the Ignoring Problem.- Cartesian Partial-Order Reduction.- On-the-Fly Dynamic Dead Variable Analysis.- SAT-Based Summarization for Boolean Programs.- LTL Satisfiability Checking.- An Embeddable Virtual Machine for State Space Generation.- Scalable Multi-core LTL Model-Checking.- A SystemC/TLM Semantics in Promela and Its Possible Applications.- Towards Model Checking Spatial Properties with SPIN.- Model Extraction for ARINC 653 Based Avionics Software.- BEEM: Benchmarks for Explicit Model Checkers.- C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs.- ACSAR: Software Model Checking with Transfinite Refinement.- Instrumenting C Programs with Nested Word Monitors.
Erscheint lt. Verlag | 21.6.2007 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
Zusatzinfo | X, 285 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 457 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
Informatik ► Theorie / Studium ► Compilerbau | |
Schlagworte | Abstract Interpretation • Abstraction • distributed model checking • distributed porcesses • explicit model checking • formal methods • formal specification • Formal Verification • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • Markovian systems • modal verification • Model Checking • Modeling • mu calculus • program analysis • Scala • Semantics • softeware verification • Spin • SPIN model checking • structured analysis • Variable • verification |
ISBN-10 | 3-540-73369-8 / 3540733698 |
ISBN-13 | 978-3-540-73369-0 / 9783540733690 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich