Early Verification of Computer Systems Temporal Properties.
Paulo Sérgio Muniz SilvaPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- computer systems
- temporal properties
- model checking
- formal methods
- temporal logic
- data processing
- operating system
- communication systems
- formal specification
- information systems
- information processing systems
- computing systems
- computer technology
- general purpose
- computer architecture
- human beings
- high end
- probability distribution
- neural network