LTL Store: Repository of LTL formulae from literature and case studies.
Jan KretínskýTobias MeggendorferSalomon SickertPublished in: CoRR (2018)
Keyphrases
- case study
- model checking
- linear temporal logic
- bounded model checking
- temporal logic
- deterministic automata
- linear time temporal logic
- literature review
- real world
- transition systems
- formal verification
- digital libraries
- lessons learned
- learning objects
- multi agent
- open source
- knowledge management
- software engineering
- metadata
- information systems
- search engine
- data mining
- real time