Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

SYMMETRY
2010

favoriteEmaildiscussreport

58views more SYMMETRY 2010»

Replication and Abstraction: Symmetry in Automated Formal Verification

13 years 16 hour ago

Replication and Abstraction: Symmetry in Automated Formal Verification

Download www.allydonaldson.co.uk

Thomas Wahl, Alastair F. Donaldson

Real-time Traffic

SYMMETRY 2010 |

claim paper

Related Content

» Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstractio...

» LSC Verification for UML Models with Unbounded Creation and Destruction

» Formal Property Verification by Abstraction Refinement with Formal Simulation and Hybrid E...

» A Survey of Automated Techniques for Formal Software Verification

» The symmetry of the past and of the future biinfinite time in the verification of temporal...

» Formal Verification of OutofOrder Execution Using Incremental Flushing

» Scalable Automated Verification via ExpertSystem Guided Transformations

» Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms

» Symmetry detection for large Boolean functions using circuit representation simulation and...

Post Info
More Details (n/a)

Added	21 May 2011
Updated	21 May 2011
Type	Journal
Year	2010
Where	SYMMETRY
Authors	Thomas Wahl, Alastair F. Donaldson

Comments (0)