Engineering the Hardware/Software Interface for Robotic Platforms - A Comparison of Applied Model Checking with Prolog and Alloy.
Md. Abdullah Al MamunChristian BergerJörgen HanssonPublished in: CoRR (2014)
Keyphrases
- model checking
- temporal logic
- hardware software
- automated verification
- verification method
- real time
- formal verification
- transition systems
- symbolic model checking
- temporal properties
- formal specification
- artificial intelligence
- timed automata
- software engineering
- embedded systems
- expert systems
- computation tree logic
- data processing
- fuzzy logic
- hw sw
- web services
- image processing