Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
SMT-based bounded model checking for multi-threaded software in embedded systems
Cordeiro, Lucas
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)
Get full text
Conference Proceeding