True 3-D displays for avionics and mission crewstations
Elizabeth A. Sholler, Frederick M. Meyer, et al.
SPIE AeroSense 1997
In recent years, the technique of symbolic model checking has proven itself to be extremely useful in the verification of hardware. However, after almost a decade, the use of model checking techniques is still considered complicated, and is mostly practiced by experts. In this paper we address the question of how model checking techniques can be made more accessible to the hardware designer community. We introduce the concept of exploration through model checking, and demonstrate how, when differently tuned, the known techniques can be used to easily obtain interesting traces out of the model, rather than used for the discovery of hard-to-find bugs. We present a set of algorithms, which support the exploration flavor of model checking. © Springer-Verlag Berlin Heidelberg 2002.
Elizabeth A. Sholler, Frederick M. Meyer, et al.
SPIE AeroSense 1997
Maciel Zortea, Miguel Paredes, et al.
IGARSS 2021
Apostol Natsev, Alexander Haubold, et al.
MMSP 2007
Rajiv Ramaswami, Kumar N. Sivarajan
IEEE/ACM Transactions on Networking