An engineering approach to formal digital system design | Zendy

Magnus Larsson | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

An engineering approach to formal digital system design

Author(s) -

Magnus Larsson

Publication year - 1995

Publication title -

the computer journal

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.319

H-Index - 64

eISSN - 1460-2067

pISSN - 0010-4620

ISBN - 3-540-58450-1

DOI - 10.1093/comjnl/38.2.101

Subject(s) - computer science , key (lock) , focus (optics) , automated theorem proving , set (abstract data type) , inference , engineering design process , representation (politics) , automated reasoning , process (computing) , task (project management) , software engineering , programming language , rule of inference , hol , formal methods , artificial intelligence , systems engineering , engineering , mechanical engineering , physics , computer security , politics , law , political science , optics

. This paper describes a first attempt at building design toolsthat amalgamate theorem proving and engineering methods. To gainacceptance such a tool must focus on the engineering task and proofsteps must be hidden. From these ideas a prototype system based on theHOL proof assistant has been designed. The key features of this systemare threefold. First, we use window reasoning for modelling the designprocess; Second, we have defined a set of application specific derivedinference rules...

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