Sciweavers

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

9

FM
2009
Springer

favoriteEmaildiscussreport

127views Formal Methods» more FM 2009»

Automated Property Verification for Large Scale B Models

13 years 11 months ago

Automated Property Verification for Large Scale B Models

Download www.bmethod.com

Michael Leuschel, Jérôme Falampin, Fa

Real-time Traffic

FM 2009 | Natural Language Processing |

claim paper

Related Content

» Combining ACL2 and an automated verification tool to verify a multiplier

» A Methodology for LargeScale Hardware Verification

» A comparison of three verification techniques directed testing pseudorandom testing and pr...

» Emergent Cooperative GoalSatisfaction in Large Scale AutomatedAgent Systems

» Automatic invariant strengthening to prove properties in bounded model checking

» Hole analysis for functional coverage data

» Automatic Translation from Combined B and CSP Specification to Java Programs

» WindowBased Susceptance Models for LargeScale RLC Circuit Analyses

» ModelChecking for Software Vulnerabilities Detection with MultiLanguage Support

Post Info
More Details (n/a)

Added	26 May 2010
Updated	26 May 2010
Type	Conference
Year	2009
Where	FM
Authors	Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge

Comments (0)