Developing With Formal Methods at BedRock Systems, Inc.

Gregory Malecha Gordon Stewart Frantisek Farka Jasper Haag Yoichi Hirai

Published in: IEEE Secur. Priv. (2022)

Keyphrases

formal methods
safety critical
knowledge based systems
artificial intelligence
model checking
formal specification
formal analysis
databases
provably correct
development lifecycle
software engineering
reactive systems
temporal properties
data warehouse
expert systems
security properties
model checker