56 search results - page 1 / 12 » Replication and Abstraction: Symmetry in Automated Formal Ve... |
SYMMETRY
2010
14 years 6 months ago
2010
ICECCS
2010
IEEE
14 years 9 months ago
2010
IEEE
ENTCS
2006
14 years 11 months ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
DAC
2001
ACM
16 years 15 days ago
2001
ACM
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...
TCAD
2008
14 years 11 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...