关注
Sumesh Divakaran
Sumesh Divakaran
College of Engineering Trivandrum, Kerala State
在 cet.ac.in 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
系统目前无法执行此操作,请稍后再试。
文章 1–6