Sumesh Divakaran
Sumesh Divakaran
College of Engineering Trivandrum, Kerala State
Verified email at
Cited by
Cited by
Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic
S Divakaran, D D’Souza
Department of CSA, Indian Institute of Science, Technical Report IISc-CSA-TR …, 2009
Refinement-based verification of the FreeRTOS scheduler in VCC
S Divakaran, D D’Souza, A Kushwah, P Sampath, N Sridhar, J Woodcock
International Conference on Formal Engineering Methods, 170-186, 2015
Efficient refinement checking in VCC
S Divakaran, D D’Souza, N Sridhar
Working Conference on Verified Software: Theories, Tools, and Experiments, 21-36, 2014
Conflict-tolerant specifications in temporal logic
S Divakaran, D D'Souza, RM Matteplackel
Proceedings of the 3rd India software engineering conference, 103-110, 2010
A refinement-based methodology for verifying abstract data type implementations
S Divakaran
A theory of refinement for ADTs with functional interfaces
S Divakaran, D D’Souza, P Sampath, N Sridhar, J Woodcock
Technical report TR-2015-4, Department of Computer Science and Automation …, 2015
The system can't perform the operation now. Try again later.
Articles 1–6