4 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.SE2022★ 3 cited
DesCert: Design for Certification
Natarajan Shankar, Devesh Bhatt, Michael Ernst +8
The goal of the DARPA Automated Rapid Certification Of Software (ARCOS) program is to "automate the evaluation of software assurance evidence to enable certifiers to determine rapi…
cs.LO2021★ 4 cited
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming
Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor +7
We consider requirements for cyber-physical systems represented in constrained natural language. We present novel automated techniques for aiding in the development of these requir…