Safety assurance of an industrial robotic control system using hardware/software co-verification

The model checker SPIN

Gerard J. Holzmann · IEEE Transactions on Software Engineering · 1997 · 3.7K citations

Engineering, Model Checker Spin, Spin Systems +24

What's Decidable about Hybrid Automata?

Thomas A. Henzinger, Peter W. Kopke, Anuj Puri et al. · Journal of Computer and System Sciences · 1998 · 668 citations · Full text

Reachability Analysis, Logical Automaton, Engineering +15

Functional Mockup Interface 2.0: The Standard for Tool independent Exchange of Simulation Models

Torsten Blockwitz, Martin Otter, Johan Åkesson et al. · Linköping electronic conference proceedings · 2012 · 532 citations · Full text

Safety-critical advanced robots: A survey

Jérémie Guiochet, Mathilde Machin, Hélène Waeselynck · Robotics and Autonomous Systems · 2017 · 210 citations · Full text

Engineering, Automation, Intelligent Robotics +6

Translating discrete-time simulink to lustre

Stavros Tripakis, Christos Sofronis, Paul Caspi et al. · ACM Transactions on Embedded Computing Systems · 2005 · 151 citations

Engineering, Hardware Verification Language, Computer Architecture +19