Formal Methods and Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

27
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer International Publishing

9783319254227, 9783319254234
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Specifying Compatible Sharing in Data Structures

2015 ◽  
pp. 349-365
Author(s):  
Asankhaya Sharma ◽  
Aquinas Hobor ◽  
Wei-Ngan Chin
Keyword(s):  
Data Structures

A Recursive Probabilistic Temporal Logic

2015 ◽  
pp. 336-348 ◽  
Author(s):  
Pablo F. Castro ◽  
Cecilia Kilmurray ◽  
Nir Piterman
Keyword(s):  
Temporal Logic

Consistency Verification of Specification Rules

2015 ◽  
pp. 50-66 ◽  
Author(s):  
Thai Son Hoang ◽  
Shinji Itoh ◽  
Kyohei Oyama ◽  
Kunihiko Miyazaki ◽  
Hironobu Kuruma ◽  
...  
Keyword(s):  
Consistency Verification

scholarly journals Domain-Specific Languages with Scala

2015 ◽  
pp. 1-16 ◽  
Author(s):  
Cyrille Artho ◽  
Klaus Havelund ◽  
Rahul Kumar ◽  
Yoriyuki Yamagata
Keyword(s):  
Domain Specific Languages ◽  
Domain Specific

History-Based Specification and Verification of Scalable Concurrent and Distributed Systems

2015 ◽  
pp. 217-233 ◽  
Author(s):  
Crystal Chang Din ◽  
S. Lizeth Tapia Tarifa ◽  
Reiner Hähnle ◽  
Einar Broch Johnsen
Keyword(s):  
Distributed Systems ◽  
Specification And Verification ◽  
Concurrent And Distributed Systems

Formal Analysis of Power Electronic Systems

2015 ◽  
pp. 270-286 ◽  
Author(s):  
Sidi Mohamed Beillahi ◽  
Umair Siddique ◽  
Sofiène Tahar
Keyword(s):  
Formal Analysis ◽  
Electronic Systems ◽  
Power Electronic

scholarly journals Refinement-Based Verification of the FreeRTOS Scheduler in VCC

2015 ◽  
pp. 170-186 ◽  
Author(s):  
Sumesh Divakaran ◽  
Deepak D’Souza ◽  
Anirudh Kushwah ◽  
Prahladavaradan Sampath ◽  
Nigamanth Sridhar ◽  
...  
Load More ...
Sign in / Sign up

Export Citation Format

Share Document