475 search results - page 60 / 95 » Temporal Logic Model Checking (Abstract) |
101
click to vote
ENTCS
2007
15 years 1 months ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
113
click to vote
CDC
2009
IEEE
14 years 11 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
123
click to vote
LICS
2006
IEEE
15 years 7 months ago
2006
IEEE
Treewidth measures the ”tree-likeness” of structures. Many NP-complete problems, e.g., propositional satisfiability, are tractable on bounded-treewidth structures. In this wo...
114
click to vote
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
140
click to vote
GLVLSI
2007
IEEE
15 years 5 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...