74 search results - page 7 / 15 » Partial Order Verification of Programmable Logic Controllers |
105
Voted
DEXAW
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper presents a first step towards a security model that defines access control for logical document structures. el benefits from roles to abstract from users and from secur...
115
click to vote
AAAI
1998
15 years 3 months ago
1998
We investigate two forms of dependence between variables and/or formulas within a propositional knowledge base: controllability (a set of variables X controls a formula , if there...
219
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
Functional programmers often reason about programs as if they were written in a total language, expecting the results to carry over to non-total (partial) languages. We justify su...
108
click to vote
DATE
2004
IEEE
2004
IEEE
Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements
15 years 5 months ago
We show how to automatically verify that complex XScale-like pipelined machine models satisfy the same safety and liveness properties as their corresponding instruction set archit...
109
click to vote
ARCS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The SoC (System-on-Chip) technology is used in small and flexible consumer electronic devices. SoCs include one or more microcontroller, memory, programmable logic, and ...