Pegasus: A framework for sound continuous invariant generation

A Sogokon, S Mitsch, YK Tan, K Cordwell… - … Symposium on Formal …, 2019 - Springer
Continuous invariants are an important component in deductive verification of hybrid and
continuous systems. Just like discrete invariants are used to reason about correctness in …
被引用次数：16 相关文章

Pegasus: A framework for sound continuous invariant generation.

A Sogokon, S Mitsch, YK Tan, K Cordwell… - FM Symposium on …, 2019 - par.nsf.gov
Continuous invariants are an important ingredient for deductive verification of hybrid and
continuous systems. Just like discrete invariants are used to reason about correctness in …
[PDF] cmu.edu

[PDF][PDF] Pegasus: A Framework for Sound Continuous Invariant Generation

A Sogokon, S Mitsch - cs.cmu.edu
Continuous invariants are an important component in deductive verification of hybrid and
continuous systems. Just like discrete invariants are used to reason about correctness in …
[PDF] depaul.edu

[PDF][PDF] Pegasus: A Framework for Sound Continuous Invariant Generation

A Sogokon, S Mitsch - facweb.cdm.depaul.edu
Continuous invariants are an important component in deductive verification of hybrid and
continuous systems. Just like discrete invariants are used to reason about correctness in …
[PDF] kit.edu

[PDF][PDF] Pegasus: A Framework for Sound Continuous Invariant Generation

A Sogokon, S Mitsch, YK Tan, K Cordwell, A Platzer - logic.kastel.kit.edu
Continuous invariants are an important component in deductive verification of hybrid and
continuous systems. Just like discrete invariants are used to reason about correctness in …
[PDF] lfcps.org

[PDF][PDF] Pegasus: A Framework for Sound Continuous Invariant Generation

A Sogokon, S Mitsch, YK Tan, K Cordwell, A Platzer - lfcps.org
Continuous invariants are an important component in deductive verification of hybrid and
continuous systems. Just like discrete invariants are used to reason about correctness in …

Pegasus: a framework for sound continuous invariant generation

A Sogokon, S Mitsch, YK Tan, K Cordwell, A Platzer - 2019 - eprints.soton.ac.uk
Continuous invariants are an important component in deductive verification of hybrid and
continuous systems. Just like discrete invariants are used to reason about correctness in …
[PDF] researchgate.net

[PDF][PDF] Pegasus: A Framework for Sound Continuous Invariant Generation

A Sogokon, S Mitsch, YK Tan, K Cordwell, A Platzer - researchgate.net
Continuous invariants are an important component in deductive verification of hybrid and
continuous systems. Just like discrete invariants are used to reason about correctness in …

Pegasus: A Framework for Sound Continuous Invariant Generation

A Sogokon, S Mitsch, YK Tan, K Cordwell… - … Symposium on Formal …, 2019 - dl.acm.org
Continuous invariants are an important component in deductive verification of hybrid and
continuous systems. Just like discrete invariants are used to reason about correctness in …
[PDF] researchgate.net

[PDF][PDF] Pegasus: A Framework for Sound Continuous Invariant Generation

A Sogokon, S Mitsch, YK Tan, K Cordwell, A Platzer - researchgate.net
Continuous invariants are an important component in deductive verification of hybrid and
continuous systems. Just like discrete invariants are used to reason about correctness in …