scientific article

zbMath1271.68145MaRDI QIDQ2845493

Ganesh Gopalakrishnan, Hemanthkumar Sivaraj

Publication date: 30 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105800969

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Distributed algorithms (68W15)

Related Items (2)

On minimising the maximum expected verification time ⋮ Search algorithms for automated validation

Uses Software

• SPIN
• Chaff
• Bandera

This page was built for publication: