Specification of Coordinated Objects and Verification of Their Temporal Properties.
Mihai DanesDorel LucanuGabriel CiobanuPublished in: SYNASC (2005)
Keyphrases
- temporal properties
- model checking
- formal methods
- formal verification
- formal specification
- temporal logic
- asynchronous circuits
- d objects
- specification language
- cooperative
- genetic algorithm
- artificial neural networks
- moving objects
- incomplete information
- data mining
- decision rules
- theoretical framework
- possibility theory
- high level