1888 search results - page 50 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
147
Voted
FAC
2008
15 years 2 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
118
Voted
HICSS
2009
IEEE
15 years 9 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
136
click to vote
TII
2010
14 years 9 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
151
Voted
FMICS
2009
Springer
15 years 6 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
109
Voted
CAISE
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Mobile devices provide a variety of ways to access information resources available on the Web and a high level of adaptability to different aspects (e.g., device capabili...