output
20012026
most citedStrong Coupling of a Spin Ensemble to a Superconducting Resonator

646 citations

researchers with a paper here
collaborating institutions
Showing 2017 · cs.PLShow all

2 papers · 2 filters

cs.PL2017★ 1 cited

Context Generation from Formal Specifications for C Analysis Tools

Michele Alberti, Julien Signoles

Analysis tools like abstract interpreters, symbolic execution tools and testing tools usually require a proper context to give useful results when analyzing a particular function.…

cs.PL2017

From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation

Allan Blanchard, Frédéric Loulergue, Nikolai Kosmatov

Frama-C is a software analysis framework that provides a common infrastructure and a common behavioral specification language to plugins that implement various static and dynamic a…