Follow
Sumesh Divakaran
Sumesh Divakaran
College of Engineering Trivandrum, Kerala State
Verified email at cet.ac.in
Title
Cited by
Cited by
Year
Refinement-based verification of the FreeRTOS scheduler in VCC
S Divakaran, D D’Souza, A Kushwah, P Sampath, N Sridhar, J Woodcock
Formal Methods and Software Engineering: 17th International Conference on …, 2015
122015
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
122009
Efficient refinement checking in VCC
S Divakaran, D D’Souza, N Sridhar
Verified Software: Theories, Tools and Experiments: 6th International …, 2014
82014
Conflict-tolerant specifications in temporal logic
S Divakaran, D D'Souza, RM Matteplackel
Proceedings of the 3rd India software engineering conference, 103-110, 2010
52010
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
32015
A refinement-based methodology for verifying abstract data type implementations
S Divakaran
22018
The system can't perform the operation now. Try again later.
Articles 1–6