Using partial-order methods in the formal validation of industrial concurrent programs

Keyphrases

• Concurrent Programs 100%
• Partial Order Techniques 100%
• Formal Validation 100%
• Instrument Validation 66%
• Telephone 33%
• Partial Order 33%
• Memory Consumption 33%
• Computational Resources 33%
• Application Domain 33%
• Concurrency 33%
• Switched Systems 33%
• Communicating Processes 33%
• Execution Scenario 33%
• Industrial Examples 33%
• Industrial Setting 33%

Computer Science

• Concurrent Program 100%
• Partial Order Method 100%
• Partial Order 33%
• Concurrency 33%
• Communicating Process 33%
• Developing Software 33%
• Industrial Setting 33%
• Telephone 33%
• Application Domain 33%
• Computational Resource 33%
• Switching Systems 33%