...
机译:严格发展关键系统的正式方法
INPT-ENSEEIHT/IRIT University of Toulouse Toulouse France;
McMaster Centre for Software Certification McMaster University Hamilton Ontario Canada;
McMaster Centre for Software Certification McMaster University Hamilton Ontario Canada;
McMaster Centre for Software Certification McMaster University Hamilton Ontario Canada;
certification; code generation; formal methods; proof-based development; verification and validation; refinement; simulation; tabular expression;