Theory in practice for system design and verification.
Rajeev AlurThomas A. HenzingerMoshe Y. VardiPublished in: ACM SIGLOG News (2015)
Keyphrases
- conceptual framework
- model checking
- engineering design
- design principles
- computational model
- data sets
- optimal design
- user experience
- software architecture
- design process
- user interface
- multi agent systems
- website
- e learning
- social networks
- machine learning
- design decisions
- database
- support systems
- design space
- formal verification
- asynchronous circuits