56 search results - page 1 / 12 » Replication and Abstraction: Symmetry in Automated Formal Ve... |
SYMMETRY
2010
13 years 15 days ago
2010
ICECCS
2010
IEEE
13 years 3 months ago
2010
IEEE
ENTCS
2006
13 years 5 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
14 years 6 months 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
13 years 5 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...