Efficient Approximate Verification of B via Symmetry Markers

Technical Report PDF: 
Technical Report Number: 
2007.92
TitleEfficient Approximate Verification of B via Symmetry Markers
Publication TypeJournal Article
Year of Publication2007
AuthorsLeuschel, M, Massart T
JournalProceedings International Symmetry Conference