Formal Methods for Safety and Security

1. Formal Methods—A Need for Practical Applications
Manju Nanda, J. Jayanthi, Yogananda Jeppu

2. Formal Methods and Tools for Safety of Critical Systems
K. S. Kushal, Manju Nanda, J. Jayanthi

3. Taming the Enemy: Framework for Comparative Analysis of Safe String Libraries
Manupriya Srivastava, T. Rajani, S. N. Anitha Kumari, Chitra Viswanathan, Subrata Rakshit

4. Dynamic Constrained Objects for Vehicular Network Modeling
Jinesh M. Kannimoola, Bharat Jayaraman, Krishnashree Achuthan

5. Adoption of Formal Methods in Software Safety Analysis
Ankita Srivastava, S. K. Goswami

6. Model-Based Safety Validation for Embedded Real-Time Systems
Gracy Philip, Meenakshi D’Souza

7. Arguing Formally About Flight Control Laws Using SLDV and NuSMV
Natasha Jeppu, Yogananda Jeppu

8. Formal Methods: Techniques, Applications, Thrust Areas and Future Prospects
Krishnamani Kalyan

9. Design Fault Identification in MBD for Safety Critical Systems
Benkmann Ruben, Gourish Kumbar, S. Mouneshwar

10. Formal Methods Workflow for Model-Based Development
Gaurav Dubey, Manoj G. Dixit

11. Race That Never Ends!
B. M. Parinitha, Manupriya Srivastava, Chitra Viswanathan

Keywords: Engineering, Aerospace Technology and Astronautics, Calculus of Variations and Optimal Control; Optimization, Quality Control, Reliability, Safety and Risk, Software Engineering