Episodes
Model Checking
Published 12/20/11
Why is Model-Checking Software Difficult?
Published 12/20/11
Dynamic Analysis
Published 12/20/11
Pre-Production
Published 12/20/11
Summary
Published 12/20/11
Outlook
Published 12/20/11
Weak Synchronicity
Published 12/19/11
MDD & MDA
Published 12/19/11
Verification & Validation
Published 12/19/11
Modeling
Published 12/19/11
Discussion
Published 12/19/11
Code Generation
Published 12/19/11
Other Effects
Published 12/19/11
Introduction
Published 12/13/11
Virtual Machine
Published 12/13/11
Coding Patterns
Published 12/13/11
Manual Coding
Published 12/13/11
Synchronization
Published 12/13/11
Memory Management & Safety
Published 12/13/11
Design for Safety
Published 12/12/11
Discussion & Summary
Published 12/12/11
Design Guided by Hazard Analysis
Published 12/12/11
Hazard Control
Published 12/12/11
Design for Reliability
Published 12/12/11
Parallel Fail Silent vs. Majority Voting
Published 12/12/11
