SCP 2016 | Sciweavers

26

SCP
2016

63views Communications» more SCP 2016»

Improving static analyses of C programs with conditional predicates

8 years 7 months ago

Abstract. Static code analysis is increasingly used to guarantee the absence of undesirable behaviors in industrial programs. Designing sound analyses is a continuing trade-oﬀ be...

Sandrine Blazy, David Bühler, Boris Yakobowsk...

claim paper

Read More »

23

click to vote

SCP
2016

63views Communications» more SCP 2016»

Parameterized, concurrent session types for asynchronous multi-actor interactions

8 years 7 months ago

Download osl.cs.illinois.edu

Session types have been proposed as a means of statically verifying implementations of communication protocols. Although prior work has been successful for some classes of protoco...

Minas Charalambides, Peter Dinges, Gul A. Agha

claim paper

Read More »

31

click to vote

SCP
2016

73views Communications» more SCP 2016»

Randomised testing of a microprocessor model using SMT-solver state generation

8 years 7 months ago

Download homepages.inf.ed.ac.uk

Abstract. We validate a HOL4 model of the ARM Cortex-M0 microcontroller core by testing the model’s behaviour on randomly chosen instructions against a real chip. The model and o...

Brian Campbell, Ian Stark

claim paper

Read More »

60

click to vote

SCP
2016

109views Communications» more SCP 2016»

An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis

8 years 7 months ago

Download convecs.inria.fr

Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yone...

claim paper