Closed-loop verification of medical devices with model abstraction and refinement

A theory of timed automata

Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.5K citations

Computing, Computer Science, Formal Methods +9

Uppaal in a nutshell

Kim G. Larsen, Paul Pettersson, Wang Yi · International Journal on Software Tools for Technology Transfer · 1997 · 2.2K citations

Dentistry, Health Promotion, Restitution +1

Model checking and abstraction

Edmund M. Clarke, Orna Grümberg, David E. Long · ACM Transactions on Programming Languages and Systems · 1994 · 1.2K citations · Full text

Computing, Computer Engineering, Computer Science +14

Counterexample-guided abstraction refinement for symbolic model checking

Edmund M. Clarke, Orna Grümberg, Somesh Jha et al. · Journal of the ACM · 2003 · 991 citations

Computing, Computer Engineering, Computer Science +13

Cyber–Physical Modeling of Implantable Cardiac Medical Devices

Zhihao Jiang, Miroslav Pajić, Rahul Mangharam · Proceedings of the IEEE · 2011 · 173 citations · Full text

Computing, Computer Engineering, Computer Science +17