Multi-Core Emptiness Checking of Timed Büchi Automata using Inclusion Abstraction

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

25 Citations (Scopus)

786 Downloads (Pure)

Finished
MBAT: Model-based Analysis and Testing of Embedded Systems
Nielsen, B. (Project Participant), Larsen, K. G. (Project Participant), David, A. (Project Participant), Mikučionis, M. (Project Participant) & Skou, A. (Project Participant)
Artemis JU
01/11/2011 → 31/10/2014
Project: Research
IDEA4CPS: Foundations for Cyber-Physical Sytems
Larsen, K. G. (Project Licensee), Skou, A. (Project Participant), Nielsen, B. (Project Participant), Bulychev, P. (Project Participant), Ravn, A. P. (Project Participant) & Poulsen, D. B. (Project Participant)
01/04/2011 → 30/04/2015
Project: Research
MT-LAB: MT-LAB A VKR Foundation Center of Excellence
Larsen, K. G. (Project Manager), Skou, A. (Project Participant), Srba, J. (Project Participant), Ravn, A. P. (Project Participant), David, A. (Project Participant) & Wisniewski, R. (Project Participant)
VKR Centre of Excellence
01/10/2008 → 01/10/2013
Project: Research

Projects