Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

55
(FIVE YEARS 0)

H-INDEX

19
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642548611, 9783642548628
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings

2014 ◽  
pp. 402-404 ◽  
Author(s):  
Ermenegildo Tomasco ◽  
Omar Inverso ◽  
Bernd Fischer ◽  
Salvatore La Torre ◽  
Gennaro Parlato
Keyword(s):  
Shared Memory ◽  
C Programs

scholarly journals FDR3 — A Modern Refinement Checker for CSP

2014 ◽  
pp. 187-201 ◽  
Author(s):  
Thomas Gibson-Robinson ◽  
Philip Armstrong ◽  
Alexandre Boulgakov ◽  
Andrew W. Roscoe

scholarly journals SACO: Static Analyzer for Concurrent Objects

2014 ◽  
pp. 562-567 ◽  
Author(s):  
Elvira Albert ◽  
Puri Arenas ◽  
Antonio Flores-Montoya ◽  
Samir Genaim ◽  
Miguel Gómez-Zamalloa ◽  
...  
Keyword(s):  
Concurrent Objects
Load More ...
Sign in / Sign up

Export Citation Format

Share Document