Formal methods technology transfer: Impediments and innovation (abstract)

This publication has 13 references indexed in Scilit:

• Error-free software development for critical systems using the B-Methodology
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Observations on industrial practice using formal methods
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Formal specification and verification of control software for cryptographic equipment
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Formal methods reality check: industrial usage
  IEEE Transactions on Software Engineering, 1995
• Experience with formal methods in critical systems
  IEEE Software, 1994
• CICS project report experiences and results from the use of Z in IBM
  Lecture Notes in Computer Science, 1991
• An overview of HP-SL
  Published by Springer Nature ,1991
• Formal specifications as reusable frameworks
  Published by Springer Nature ,1990
• Formal methods applied to a floating-point number system
  IEEE Transactions on Software Engineering, 1989
• Multinet Gateway - Towards A1 Certification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1984