Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Oktober 2001
Genre:	EDV / Informatik
	Compiler / EDV / Theorie / Programmieren / Allgemeines / formalmethod / formalmethods / modelchecking / Modeling / Parallelcomputer - Parallelrechner / Software / Testing / theoremproving / Theoretische Informatik / Übersetzer (EDV) / Verification mehr...
ISBN:	9783540427872
EAN-Code:	9783540427872
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Serie:	#2067 - Lecture Notes in Computer Science
Dimensionen:	H 235 mm / B 155 mm / D 13 mm
Gewicht:	365 gr
Seiten:	236
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware systems. This volume contains tutorials and annotated bibliographies covering the main subjects addressed at MOVEP 2000. The four tutorials deal with Model Checking, Theorem Proving, Composition and Abstraction Techniques, and Timed Systems. Three research papers give detailed views of High-Level Message Sequence Charts, Industrial Applications of Model Checking, and the use of Formal Methods in Security. Finally, four annotated bibliographies give an overview of Infinite State Space Systems, Testing Transition Systems, Fault-Model-Driven Test Derivation, and Mobile Processes.