Behavior Java Checker

Abstrakt

BeJC je nástroj pro testování konzistence implementace primitivní komponenty v jazyce java a specifikace v chování v podobě Threaded Behavior Protocols (TBP).

Klíčová slova

• Behavior
• Java
• Checker
• Komponenty
• Verifikace
• TBP