Computer-aided verification of coordinating processes
Manufacturing
Industrial Technology
Verification
Technical & Manufacturing Industries & Trades
Industrial engineering
Computational complexity
Expert systems (Computer science)
Manufacturing processes
System design
TECHNOLOGY & ENGINEERING
Planning
Data processing
Mathematics
Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design com…
Read online
Reader not loading? Open it on Archive.org instead.
