Formal Methods for Safety and Security
Latest Publications

TOTAL DOCUMENTS

11

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Singapore

9789811041204, 9789811041211

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Arguing Formally About Flight Control Laws Using SLDV and NuSMV

Formal Methods for Safety and Security ◽

10.1007/978-981-10-4121-1_7 ◽

2017 ◽

pp. 73-84 ◽

Cited By ~ 1

Author(s):

Natasha Jeppu ◽

Yogananda Jeppu

Keyword(s):

Flight Control ◽

Control Laws

Download Full-text

Race That Never Ends!

Formal Methods for Safety and Security ◽

10.1007/978-981-10-4121-1_11 ◽

2017 ◽

pp. 113-130

Author(s):

B. M. Parinitha ◽

Manupriya Srivastava ◽

Chitra Viswanathan

Download Full-text

Design Fault Identification in MBD for Safety Critical Systems

Formal Methods for Safety and Security ◽

10.1007/978-981-10-4121-1_9 ◽

2017 ◽

pp. 97-102

Author(s):

Benkmann Ruben ◽

Gourish Kumbar ◽

S. Mouneshwar

Keyword(s):

Fault Identification ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Formal Methods Workflow for Model-Based Development

Formal Methods for Safety and Security ◽

10.1007/978-981-10-4121-1_10 ◽

2017 ◽

pp. 103-111

Author(s):

Gaurav Dubey ◽

Manoj G. Dixit

Keyword(s):

Formal Methods ◽

Model Based

Download Full-text

Model-Based Safety Validation for Embedded Real-Time Systems

Formal Methods for Safety and Security ◽

10.1007/978-981-10-4121-1_6 ◽

2017 ◽

pp. 59-71 ◽

Cited By ~ 1

Author(s):

Gracy Philip ◽

Meenakshi D’Souza

Keyword(s):

Real Time ◽

Real Time Systems ◽

Model Based ◽

Time Systems

Download Full-text

Formal Methods: Techniques, Applications, Thrust Areas and Future Prospects

Formal Methods for Safety and Security ◽

10.1007/978-981-10-4121-1_8 ◽

2017 ◽

pp. 85-96

Author(s):

Krishnamani Kalyan

Keyword(s):

Formal Methods ◽

Future Prospects

Download Full-text

Dynamic Constrained Objects for Vehicular Network Modeling

Formal Methods for Safety and Security ◽

10.1007/978-981-10-4121-1_4 ◽

2017 ◽

pp. 41-52 ◽

Cited By ~ 1

Author(s):

Jinesh M. Kannimoola ◽

Bharat Jayaraman ◽

Krishnashree Achuthan

Keyword(s):

Network Modeling ◽

Vehicular Network

Download Full-text

Taming the Enemy: Framework for Comparative Analysis of Safe String Libraries

Formal Methods for Safety and Security ◽

10.1007/978-981-10-4121-1_3 ◽

2017 ◽

pp. 23-39

Author(s):

Manupriya Srivastava ◽

T. Rajani ◽

S. N. Anitha Kumari ◽

Chitra Viswanathan ◽

Subrata Rakshit

Keyword(s):

Comparative Analysis

Download Full-text

Adoption of Formal Methods in Software Safety Analysis

Formal Methods for Safety and Security ◽

10.1007/978-981-10-4121-1_5 ◽

2017 ◽

pp. 53-57

Author(s):

Ankita Srivastava ◽

S. K. Goswami

Keyword(s):

Formal Methods ◽

Safety Analysis ◽

Software Safety

Download Full-text

Formal Methods and Tools for Safety of Critical Systems

Formal Methods for Safety and Security ◽

10.1007/978-981-10-4121-1_2 ◽

2017 ◽

pp. 13-21

Author(s):

K. S. Kushal ◽

Manju Nanda ◽

J. Jayanthi

Keyword(s):

Formal Methods ◽

Critical Systems

Download Full-text