Keyphrases
Control Logic
100%
Formal Verification
100%
Nuclear Instrumentation
100%
Verification Model
100%
Application Logic
66%
PLCopen XML
66%
IEC 61131
66%
Modeling Tools
33%
Model Code
33%
Control Software
33%
Safety-critical
33%
Control Chart
33%
Control Model
33%
Nuclear Domains
33%
Visio
33%
Generic Model
33%
NuSMV
33%
Checking Method
33%
Digital Formats
33%
UML Modeling
33%
Undesired Behavior
33%
NuSMV Model Checker
33%
Signal Generator
33%
Generator Application
33%
Logic Diagrams
33%
Safe Community
33%
INIS
control
100%
transformations
100%
verification
100%
drawing
100%
applications
42%
diagrams
42%
safety
28%
tools
14%
cost
14%
computer codes
14%
modeling
14%
communities
14%
errors
14%
signals
14%
assets
14%
Computer Science
Formal Verification
100%
Model Checking
100%
Application Logic
66%
Control Software
33%
Typical Example
33%
Valuable Asset
33%
model checker
33%