1. Research with MATF
  2. Research Outputs

Browsing by Subject Software verification

Showing results 1 to 6 of 6
Issue DateTitleAuthor(s)Rank
1-May-2020Concurrent Bug Finding Based on Bounded Model CheckingVujošević Janičić, Milena 
1-Jun-2009Formalization and implementation of modern SAT solversMarić, Filip 
1-Jan-2020Regression verification for automated evaluation of students programsVujošević Janičić, Milena ; Marić, Filip 
1-Jun-2013Software verification and graph similarity for automated evaluation of students' assignmentsVujošević Janičić, Milena ; Nikolić, Mladen ; Tošić, Dušan; Kuncak, Viktor
2021Verification supported refactoring of embedded sqlSpasić, Mirko ; Vujošević Janičić, Milena 
1-Jan-2020Verifying Faradžev-Read Type Isomorph-Free Exhaustive GenerationMarić, Filip 
Showing results 1 to 6 of 6