2836 search results - page 255 / 568 » Model Checking for Software Architectures |
131
click to vote
DAGSTUHL
2006
15 years 6 months ago
2006
Abstract. The tool USE (UML-based Specification Environment) supports analysts, designers, and developers in executing UML models and checking OCL constraints and thus enables them...
131
click to vote
ACSC
2004
IEEE
15 years 8 months ago
2004
IEEE
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
130
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
el Predicate Abstraction and Refinement for Verifying RTL Verilog Himanshu Jain CMU SCS, Pittsburgh, PA 15213 Daniel Kroening ETH Z?urich, Switzerland Natasha Sharygina CMU SCS an...
134
click to vote
CASES
2009
ACM
15 years 11 months ago
2009
ACM
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...
151
click to vote
ECBS
2010
IEEE
15 years 11 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...