Specification and Verification of Time Properties in Distributed Automation Systems during Test Planning Phase.
Silvije JovalekicTri NguyenPublished in: COMPSAC Workshops (2011)
Keyphrases
- formal verification
- model checking
- distributed systems
- peer to peer
- multi agent
- distributed environment
- planning problems
- high level
- asynchronous circuits
- formal methods
- multi agent planning
- formal language
- learning phase
- desirable properties
- heuristic search
- goal oriented
- computer networks
- signature verification
- domain independent
- cooperative
- neural network