1809 search results - page 73 / 362 » Software Model Checking Using Linear Constraints |
142
click to vote
APN
2010
Springer
15 years 6 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...
125
click to vote
COMPSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
The security of software defined radio (SDR) software is essential to the trustworthiness of the overall radio system. When designing and developing security solutions for SDR sof...
103
click to vote
FTDCS
1997
IEEE
15 years 6 months ago
1997
IEEE
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
142
Voted
QEST
2010
IEEE
15 years 1 days ago
2010
IEEE
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...
103
Voted
SIGSOFT
2000
ACM
15 years 6 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...