7 citations · 7 across the 1 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2023★ 7 cited
Qualification of Proof Assistants, Checkers, and Generators: Where Are We and What Next?
Mario Gleirscher, Robert Sachtleben, Jan Peleska
Cyber-physical systems, such as learning robots and other autonomous systems, employ high-integrity software in their safety-critical control. This software is developed using a ra…
cs.SE2021
Effective grey-box testing with partial FSM models
Robert Sachtleben, Jan Peleska
For partial, nondeterministic, finite state machines, a new conformance relation called strong reduction is presented. It complements other existing conformance relations in the se…