Minimal Model Generation
No abstract available.
Related papers
- Guided GUI testing of android apps with minimal restart and approximate learning OOPSLA 2013
- A linear-time algorithm for optimal barrier placement PPoPP 2005
- Minimal Assignments for Bounded Model Checking TACAS 2004
- Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints TACAS 2020
- Minimal Critical Subsystems for Discrete-Time Markov Models TACAS 2012
- Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization in the Polyhedral Model CC 2008
- Minimizing Generalized Büchi Automata CAV 2006
- Generation of Minimum Tree-Like Witnesses for Existential CTL TACAS 2018