Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels. Perdita Stevens. Softw Syst Model 19, 935–958, 2020. 2020 shelley2024-07-26T09:03:55+00:00 Share this content FacebookXLinkedInWhatsAppEmail Related Posts History-deterministic Timed Automata. History-deterministic Timed Automata. Modular Relaxed Dependencies in Weak Memory Concurrency. Modular Relaxed Dependencies in Weak Memory Concurrency. The Taint Rabbit: Optimizing Generic Taint Analysis with Dynamic Fast Path Generation. The Taint Rabbit: Optimizing Generic Taint Analysis with Dynamic Fast Path Generation. Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic. Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic.
by