Formal Methods: Use and Relevance for the Development of Safety-Critical Systems | Zendy

Leonor Barroca | Zendy; John McDermid | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Formal Methods: Use and Relevance for the Development of Safety-Critical Systems

Author(s) -

Leonor Barroca,

John McDermid

Publication year - 1992

Publication title -

the computer journal

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.319

H-Index - 64

eISSN - 1460-2067

pISSN - 0010-4620

DOI - 10.1093/comjnl/35.6.579

Subject(s) - formal methods , computer science , relevance (law) , life critical system , context (archaeology) , risk analysis (engineering) , development (topology) , refinement , management science , software engineering , software , programming language , mathematics , engineering , business , political science , law , paleontology , mathematical analysis , biology

ion is one of our primary intellectual weapons for coping with complexity and itaids clarity by `drawing away from" details which are not germane to our interests.Clarity also arises from conciseness. As we indicated above formal notations vary in their ability to representconcepts concisely but, hopefully, they can be used to produce very compact descriptions. More importantly theycan be much more compact than equally clear natural language descriptions whilst (normally) being more...

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research