FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Erika Abraham
Organization: RWTH Aachen University
Web page: http://ths.rwth-aachen.de/people/erika-abraham/
Pages in this Program
All Proceedings Papers
FM FMComplete
FM FMComplete: Papers with Abstracts
FM on Monday, July 16th
FM Program
IJCAR on Tuesday, July 17th
IJCAR Proceedings 9th IJCAR, 2018
IJCAR Proceedings 9th IJCAR, 2018: Papers with Abstracts
IJCAR Program
Paper: Evaluation of Equational Constraints for CAD in SMT Solving
Paper: Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations
Paper: Symbolic Computation Techniques in SMT Solving: Mathematical Beauty meets Efficient Heuristics
Paper: Verifying Auto-Generated C Code from Simulink
Program
Program for Monday, July 16th
Program for Tuesday, July 17th
Program for Wednesday, July 11th
SCSC on Wednesday, July 11th
SCSC Papers
SCSC Papers: Papers with Abstracts
SCSC Program