Concept
Delphi (software)
Publications associées (10)
On Verified Scala for STIX File System Embedded Code using Stainless
We present an approach for using formal methods in embedded systems and its evaluation on a case study. In our approach, the developers describe the system in a restricted subset of the high-level programming language Scala. We then use 1) a verification s ...
2022Atomic boxes: coordinated exception handling with transactional memory
Vincent Gramoli, Pascal Felber
In concurrent programs raising an exception in one thread does not prevent others from operating on an inconsistent shared state. Instead, exceptions should ideally be handled in coordination by all the threads that are affected by their cause. In this pap ...
2011FRANC: A Lightweight Java Framework for Wireless Multihop Communication
André Schiper, David Cavin, Yoav Sasson
Simulation and emulation are popular means for evaluating wireless Mobile Ad hoc Networks (MANETs) protocols. Since MANETs are highly dependant on their physical environment, these techniques offer only a partial understanding of factors that may influence ...
2003