Formal System Design and Verification: A Perspective.

Sriram K. Rajamani

Published in: ISEC (2020)

Keyphrases

case study
formal methods
design process
design principles
design decisions
artificial intelligence
embedded systems
search engine
information systems
object oriented
formal model
formal analysis