Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 6 of 6 for “"Simulation Relation"”.
-
Simulation of timed input/output automata
… language for specifying timed I/O automata. Simulation of TIOA programs is useful in the process of testing the proposed system over a specific set of executions. During the execution the Simulator is able to test proposed invariants and validate a proposed simulation relation between the …
-
Improved Symbolic Model Checking of Real-Time Systems
… algorithms by using the Lower Upper (LU) simulation relation. We prove that the simulation relation preserves not only the reachability but also the emptiness. We also show that symbolically computing the set of reachable states can be enhanced by applying the simulation relation. …
-
A semantic deconstruction of session types
… reception configurations; • an I/O compliance relation between generic behaviours, that we demostrate to be sound and complete w.r.t. safety in asynchronous session types; • an I/O simulation relation between generic behaviours, which generalises the usual syntax-directed notions of typing and …
-
Verifying Cryptographic Security Implementations in C Using Automated Model Extraction
… the attacker. We develop a security-preserving simulation relation that is preserved by embedding, and show that each step of our model transformation simulates the previous step, thus proving the overall soundness of the approach. Currently we only consider trace properties. Our method achieves …
-
A verification framework suitable for proving large language translations
… in a relaxed memory model, we define a new simulation framework, named Per Location Simulation (PLS). PLS is suitable for proving semantic preservation property in a relaxed memory model.
-
TRACTABLE DEPTH-BOUNDED APPROXIMATIONS TO SOME PROPOSITIONAL LOGICS. TOWARDS MORE REALISTIC MODELS OF LOGICAL AGENTS.
… on KE. Finally, we propose a refinement of the p-simulation relation which is adequate to establish positive results about the superiority of a system over another with respect to proof-search.