A formal specification and verification framework for designing and verifying reliable and dependable software for computerized numerical control (CNC) systems

Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

Fingerprint

???publication_fingerprints_help???

Computer Science

100
Software Computer Science
100
Formal Verification Computer Science
100
Formal Specificatio... Computer Science
100
Numerical Control S... Computer Science
57
Modeling Computer Science
57
Procedure Computer Science
42
Transition Model Computer Science
42
Temporal Logic Computer Science
42
Timed Transition Computer Science
28
Open Architecture Computer Science
14
Model Computer Science
14
Design Computer Science
14
System Requirement Computer Science
14
Control Software Computer Science
14
hard real-time Computer Science
14
Distributed Computi... Computer Science
14
Research Problem Computer Science
14
Numerical Control Computer Science

Keyphrases

100
Software Reliabilit... Keyphrases
100
Computer numerical ... Keyphrases
100
Formal Verification Keyphrases
100
Formal Specificatio... Keyphrases
100
Dependable Software Keyphrases
100
Verification Framew... Keyphrases
42
Transition Model Keyphrases
42
Real-time Temporal ... Keyphrases
14
Modeling Techniques Keyphrases
14
System Requirements Keyphrases
14
Full Support Keyphrases
14
Verification Theore... Keyphrases
14
Open Architecture Keyphrases
14
Control Software Keyphrases
14
Hard Real-time Keyphrases
14
Computer numerical ... Keyphrases
14
Logical Method Keyphrases
14
Distributed Computi... Keyphrases
14
Verification Method Keyphrases
14
Open Architecture C... Keyphrases
14
Logic Controller Keyphrases
14
New Modeling Method Keyphrases
14
Verification Rule Keyphrases

INIS

100
verification INIS
100
control systems INIS
100
computer codes INIS
100
specifications INIS
57
modeling INIS
28
reliability INIS
28
architecture INIS
28
safety INIS
14
design INIS
14
control INIS
14
feedback INIS
Research OutputsResearch Output authored by A formal specification and verification framework for designing and verifying reliable and dependable software for computerized numerical control (CNC) systems is tagged with the concept