From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET | 0 | 0.34 | 2021 |
Aadl-Based Safety Analysis Using Formal Methods Applied To Aircraft Digital Systems | 0 | 0.34 | 2021 |
Proceedings of the 41st International Conference on Software Engineering: Software Engineering in Practice, ICSE (SEIP) 2019, Montreal, QC, Canada, May 25-31, 2019. | 0 | 0.34 | 2019 |
Guest editorial: advanced topics in automated software engineering. | 0 | 0.34 | 2018 |
The Jkind Model Checker | 4 | 0.44 | 2018 |
Incremental verification with mode variable invariants in state machines | 3 | 0.40 | 2012 |
Extending Lustre with Timeout Automata | 0 | 0.34 | 2008 |
Certification Support for Automatically Generated Programs | 6 | 0.53 | 2003 |