499 search results - page 38 / 100 » LTL satisfiability checking |
ISLPED
2010
ACM
13 years 11 months ago
2010
ACM
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...
ATVA
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
CSMR
2006
IEEE
14 years 5 months ago
2006
IEEE
As size and complexity of software systems increase, preserving the design and speciļ¬cation of their implementation structure gains importance in order to maintain the evolvabil...
ATAL
2007
Springer
14 years 5 months ago
2007
Springer
In this paper we enrich FIEVeL (a modelling language for institutions amenable to model checking) with new constructs to describe norms and sanctions. Moreover, we present a speciļ...
DBPL
2001
Springer
14 years 3 months ago
2001
Springer
In this paper we develop a new method for solving queries on semistructured data. The main idea is to see a database as a Kripke Transition System (a model) and a query as a formul...