Browse by Subject "Verification"
Now showing items 1-8 of 8
(2011-08-25)With the advent of computers to control various physical processes, there has emerged a new class of systems which contain tight interactions between the "discrete" digital world and the "continuous" physical world. These ...
(2012-05-22)Networked systems are ubiquitous in our modern society. They are found in settings that vary from mundane enterprise IT systems to critical infrastructure systems. The security of networked systems is important given their ...
(Springer Verlag, 2009)We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software systems. We model timed software systems ...
(2015-08-21)With the recent advances in communication and computation technologies, integration of software into the sensing, actuation, and control is common. This has lead to a new branch of study called Cyber-Physical Systems (CPS). ...
(2014-09-16)Cyber-physical systems (CPS) may interact and manipulate objects in the physical world with the aid of communication channels. Additionally, due to their nature, most CPS are safety-critical systems where there are safety ...
(2010)This is the source code accompanying our HVC 2010 paper titled "vlogsl: A Strategy Language for Simulation-based Veriﬁcation of Hardware"; it includes the source code for the vlogsl tool, as well as targets for all of the ...
(2012-03-12)Formal specification of correct library usage is extremely useful, both for software developers and for the formal analysis tools they use, such as model checkers or runtime monitoring systems. Unfortunately, the process ...
(Lawrence Livermore National Laboratory Technical Report, 2010-08-12)A means for translating MCNP5 input files into a form that can be run by Mercury, a modern Monte Carlo particle transport code, will allow MCNP5 users to more easily take advantage of the high-performance computing benefits ...