Titlebook: Dependable Software Engineering: Theories, Tools, and Applications; First International Xuandong Li,Zhiming Liu,Wang Yi Conference proceed

令人作嘔

CORE

Synthesizing Controllers for Multi-lane Traffic Maneuversat the control of safe (collision free) lane change maneuvers in multi-lane traffic on highways can be described by finite state machines extended with continuous variables coming from the environment. We use standard theory for controller synthesis to derive the dynamic behavior of a lane-change co

Aqueous-Humor

Extending Hybrid CSP with Probability and Stochasticity of fundamental properties of nature, uncertain environments, or simplifications to overcome complexity. Tightly intertwining discrete, continuous and stochastic dynamics complicates modelling, analysis and verification of stochastic hybrid systems (SHSs). In the literature, this issue has been exte

Cleave

Towards Verified Faithful Simulationrget architecture can be proven to provide the same results as the real hardware, and the proof is verified with a theorem prover. The method consists in proving each instruction of the instruction set independently, by proving that the execution of the C code simulating an instruction yields an ide

Cursory

MAPLE

Inferring Software Behavioral Models with MapReduceplying machine learning to execution logs. However, the logs generated by a real software system may be very large and the inference algorithm can exceed the capacity of a single computer..This paper focuses on inference of . and explores to use of MapReduce to deal with large logs. The approach con

含沙射影

Abbreviate

A High-Level Model for an Assembly Language Attacker by Means of Reflectionecurity of these compilation and interoperation mechanisms often makes use of high-level attacker models to simplify formalisations. In practice, however, the validity of such high-level attacker models is frequently called into question. In this paper we formally prove that a light-weight ML equipp

FISC

溫和女孩

From Requirements Engineering to Safety Assurance: Refinement Approachent about system safety. In particular, this argument can facilitate construction of a safety case – a structured safety assurance document required for certification of safety-critical systems. However, currently there is no adequate support for using the artefacts created during formal modelling i