Automated Technology for Verification and Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

41
(FIVE YEARS 0)

H-INDEX

13
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642243714, 9783642243721
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Making Software Verification Tools Really Work

2011 ◽  
pp. 28-42 ◽  
Author(s):  
Jade Alglave ◽  
Alastair F. Donaldson ◽  
Daniel Kroening ◽  
Michael Tautschnig
Keyword(s):  
Software Verification ◽  
Verification Tools

scholarly journals An Efficient Algorithm for Learning Event-Recording Automata

2011 ◽  
pp. 463-472 ◽  
Author(s):  
Shang-Wei Lin ◽  
Étienne André ◽  
Jin Song Dong ◽  
Jun Sun ◽  
Yang Liu
Keyword(s):  
Efficient Algorithm ◽  
Event Recording ◽  
Learning Event

Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata

2011 ◽  
pp. 243-258 ◽  
Author(s):  
Lukáš Holík ◽  
Ondřej Lengál ◽  
Jiří Šimáček ◽  
Tomáš Vojnar
Keyword(s):  
Tree Automata
Load More ...
Sign in / Sign up

Export Citation Format

Share Document