LARA

WS2S Decision Procedure in Software Verification

Abhinav Kumar

- Login

Trace: • logic_for_mathematics_and_computer_science_textbook • sign_analysis_for_expressions_and_programs • first-order_logic_syntax • generation_and_analysis_of_transition_systems • solver • computing_reachability_predicates • constraint_solving_modulo_theories • program_synthesis • changes_from_2008 • ws2s_decision_procedure_in_software_verification

sav09/projects/ws2s_decision_procedure_in_software_verification.txt · Last modified: 2009/03/10 12:21 by vkuncak