Models, Algebras and Logic of Engineering Software

Front Cover
Manfred Broy, Markus Pizka
IOS Press, 2003 - Computers - 403 pages
This volume focuses on the education of researchers, teachers, students and practitioners. As usual in engineering, a study and application of the relevant branches of mathematics is crucial both in education and practice.
 

Contents

Preface
1
An Overview
43
Unifying Theories of Parallel Programming
81
Algorithmic and Deductive Verification Methods for CTL
109
Software Specification and Verification in Rewriting Logic
133
Exploiting Independence for Verification Refinement and Modularity
195
On Translating Models and Properties
209
Proving Theorems about Java and the JVM with ACL2
227
Assertions
255
Capturing and Analyzing Reactive Behavior
317
Micromodels of Software
351
Modeling and Verifying a Lego Car Using Hybrid IO Automata
385
Author Index
403
Copyright

Other editions - View all

Common terms and phrases