Computer systems - Verification.

Scalable techniques for formal verification by: (書目-電子資源)

Principles of model checking by: (書目-電子資源)

Verification and control of hybrid systems = a symbolic approach / by: (書目-電子資源)

25 Years of Model Checking = History, Achievements, Perspectives / by: (書目-電子資源)

Hybrid systems.

Software Engineering.

Formal methods (Computer science)

Circuits and Systems.

Mathematics.

Engineering.

Computer-Aided Engineering (CAD, CAE) and Design.

Digital control systems.

Programming Techniques.

Computer Science.

Computer software- Verification.

Control.

Programming Languages, Compilers, Interpreters.

Models and Principles.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Automatic theorem proving.

Systems Theory, Control.

Computer systems- Verification.