Statistical Abstraction and Model-Checking of Large Heterogeneous Systems.
Ananda BasuSaddek BensalemMarius BozgaBenoît CaillaudBenoît DelahayeAxel LegayPublished in: FMOODS/FORTE (2010)
Keyphrases
- model checking
- heterogeneous systems
- bounded model checking
- temporal logic
- formal verification
- distributed architecture
- model checker
- formal specification
- computation tree logic
- automated verification
- symbolic model checking
- verification method
- application developers
- formal methods
- web services
- epistemic logic
- databases
- grid environment
- mobile robot
- high level
- information systems
- data mining