Workshop Dependability and Certification - Coimbra - 28 e 29 SET 2011

MAIN TOPICS OF THE WORKSHOP
->Formal verification of software

• Requirements modeling and verification
• SW Model Checking
• Automatic Test Generation

->Fault Injection

->SW qualification

->Safety, RAM, and Certification (standards)

• Nuclear IEC-60880
• Railway Domain, EN50126/8/9

->Verification and Validation of Safety Critical Systems

->Safety Evaluation of Systems

->Robustness Testing

Mais informação aqui.