Model checking
1996
6,873 citations
Keywords
Computer science
Related Publications
The Kokkos EcoSystem: Comprehensive Performance Portability for High Performance Computing
State of the art Engineering and Science codes have grown in complexity dramatically over the last two decades. As a consequence application teams have adopted more sophisticate...
A three-value computer design verification system
The three-value simulator has been used on both rentral processing units and input/output controllers with microprogram control and hardware control. Four major systems have bee...
DeepTest
Recent advances in Deep Neural Networks (DNNs) have led to the development of DNN-driven autonomous cars that, using sensors like camera, LiDAR, etc., can drive without any huma...
A really temporal logic
A real-time temporal logic for the specification of reactive systems is introduced. The novel feature of the logic, TPTL, is the adoption of temporal operators as quantifiers ov...
An investigation of the psychological processes underlying the debugging of computer programs
The primary objective of this thesis is to contribute to a theory of programmer expertise with respect to debugging computer programs. It is important to develop a theory of pro...
Publication Info
- Year
- 1996
- Type
- article
- Pages
- 305-349
- Citations
- 6873
- Access
- Closed
External Links
Citation Metrics
6873
OpenAlex
Cite This
E. M. Clarke,
Orna Grümberg,
D. Long
(1996).
Model checking.
, 305-349.