|
|
|
|
When verifying concurrent systems described by transition systems, state explosion is one of the most serious problems. If quantitative temporal information expressed by clock ... http://citeseer.ist.psu.edu/472670.htmlFormula based Abstractions of Transition Systems.. - Barbuti, De.. Active bibliography (related documents): More All 2.0: Loreto: A Tool For Reducing State Explosion In ... http://citeseer.ist.psu.edu/barbuti99selective.html ... Roberto Barbuti and Nicoletta De Francesco and Antonella Santone and Gigliola Vaglini}, title = {Formula Based Abstractions of ... http://dblp.uni-trier.de/rec/bibtex/conf/fm/BarbutiFSV99Abstraction-based Satisability Solving of Presburger ... Given a Presburger formula, our algorithm invokes a SAT ... These proofs are in turn used to generate abstractions of as ... http://www.cs.cmu.edu/~modelcheck/onr/pubs/presburger04.pdfA Case Study in Automated Verification Based on Trace Abstractions ... M ONA translates a formula in M2L into a finite-state automaton. We show in ... http://www.brics.dk/RS/95/54/index.html |
|
|