Funder
Deutsche Forschungsgemeinschaft
Reference46 articles.
1. Model Checking;Clarke,1999
2. Toward testing from finite state machines with symbolic inputs and outputs;Petrenko;Softw. Syst. Model.,2019
3. Linear encodings of bounded LTL model checking;Biere;Log. Methods Comput. Sci.,2006
4. Automata-based verification of temporal properties on running programs;Giannakopoulou,2001
5. Deriving test suites with the guaranteed fault coverage for extended finite state machines;Ermakov;Autom. Control. Comput. Sci.,2017