Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Juni 2007
Genre:	EDV / Informatik
	distributedporcesses / EDV / Theorie / Software-Entw. / Software Engineering / explicitmodelchecking / formalmethods / formalspecification / formalverification / Markoviansystems / modelchecking / Modeling / mucalculus / Qualitätssicherung / Scala / Semantics / Sicherung / Qualitätssicherung / Software Engineering / Spin / structuredanalysis / Theoretische Informatik / Variable / Verification mehr...
ISBN:	9783540733690
EAN-Code:	9783540733690
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Serie:	#4595 - Lecture Notes in Computer Science Theoretical Computer Science and General Issues
Dimensionen:	H 235 mm / B 155 mm / D 17 mm
Gewicht:	458 gr
Seiten:	300
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.