ROSECON: a Computer Tool for Synthesis and Verification of Concurrent Systems Specified by Information Systems.
Zbigniew SurajKrzysztof PancerzPublished in: Fundam. Informaticae (2013)
Keyphrases
- concurrent systems
- information systems
- distributed systems
- temporal logic
- model checking
- process algebra
- computer systems
- formal specification
- transition systems
- petri net
- information technology
- software tools
- computer forensics
- computer technology
- information security
- public health
- program synthesis
- user friendly
- data model
- user interface