Tampere Verification Tool
نویسندگان
چکیده
Tampere Verification Tool (TVT) is a collection of programs for automated verification of concurrent and reactive systems. TVT has its roots in process algebras and explicit state space exploration, but in addition to actions, our formalism allows use of state-based information in the form of truth-valued state propositions. Furthermore, it contains three types of state proposition-like notions to support on-the-fly verification, and one state proposition to exploit partially defined processes. TVT supports compositional state space construction, stubborn sets and visual verification.
منابع مشابه
Managing Object-Oriented Frameworks with Specialization Templates
1 University of Tampere, Box 607, 33101 Tampere, Finland (email {mh, csjuha, jjt}@cs.uta.fi) 2 University of Helsinki, Box 26, 00014 University of Helsinki, Finland (email {antti.viljamaa, jukka.viljamaa, jukka.paakki}@cs.helsinki.fi) 3 Tampere University of Technology, Box 553, FIN-33101 Tampere, Finland (email: [email protected]) Abstract. The concept of a specialization template is introduced. It...
متن کاملComparison of a poly-L-lactide-co-1- caprolactone and human amniotic membrane for urothelium tissue engineering applications
Regea–Institute for Regenerative Medicine, University of Tampere, Tampere, Finland Science Centre, University of Tampere, Tampere, Finland Department of Biomedical Engineering, Tampere University of Technology, Tampere, Finland Department of Eye, Ear and Oral Diseases, Tampere University Hospital, Tampere, Finland Paediatric and Adolescent Surgery Unit, Pediatric Research Centre and Tampere Uni...
متن کاملSolution-focused low-intensity intervention in improving health behaviors of young females: cluster- randomized controlled trial
School of Medicine, University of Tampere, 33014 Tampere, Finland Pirkanmaa Hospital District, Science Center, 33521 Tampere, Finland School of Health Sciences, University of Tampere, 33014 Tampere, Finland Nutrition Unit, National Institute of Health and Welfare, P.O. Box 30, 00271 Helsinki, Finland Tampere University Hospital, Department of Paediatrics, 33521 Tampere, Finland School of Medici...
متن کاملMechanical properties of SEVA / hydroxyapatite composite with to HAP different particle sizes
Hydroxyapatite is a biocompatible ceramic and reinforcement for bone implantations. SEVA/HAP composite content HAP filler with difference particle sizes were designed. Mechanical tests like tensile modulus, UTS, strain at break and biodegradation were investigated. Results illustrated much increase tensile modulus of composites content HAP nano powders ratio to micro powders. Also UTS analysis ...
متن کاملCharacterizing and optimizing poly- L-lactide-co-1-caprolactone membranes for urothelial tissue engineering
Institute of Biomedical Technology, University of Tampere, Tampere, Finland BioMediTech, Tampere, Finland Science Centre, and Department of Eye, Ear and Oral Diseases, Tampere University Hospital, Tampere, Finland Department of Biomedical Engineering, Tampere University of Technology, Tampere, Finland Paediatric and Adolescent Surgery Unit, Paediatric Research Centre and Tampere University Hosp...
متن کامل