Behavioral modeling and formal verification of a resource discovery approach in Grid computing - Souri, Alireza; Jafari Navimipour, Nima (Expert systems with applications, 2014)
Keywords: Applied sciences; Behavioral modeling; Checkers; Completeness; Computational grids; Computer science; control theory; systems; Computer systems and distributed systems. User interface; Computer systems performance. Reliability; Consistency; Exact sciences and technology; Expert systems; Formal verification; Grid computing; Information systems. Data bases; Mathematical models; Memory organisation. Data processing; Model checking; NuSMV; Queries; Resource discovery; Software; Software engineering; Behavioral modeling; Model checking; Grid computing; NuSMV; Resource discovery; Formal verification; Resource allocation; Grid; Web service; State space; Distributed computing; Modeling; Behavioral analysis; Completeness; Static analysis; Defect; Localization; High performance; Branching temporal logic CTL; Resource sharing; State space method; Behavior model; Program verification; Range query; Soundness; Problem solving; Internet; Resource management