Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Open Access
    Datensatz exportieren als...
  • BibTeX
Verifying safety of synchronous fault-tolerant algorithms by bounded model checking
International journal on software tools for technology transfer, 2022-02, Vol.24 (1), p.33-48
2022
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification
Formal methods in system design, 2023-10
2023
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints
Journal of automated reasoning, 2017, Vol.59 (1), p.3-45
2017
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Rely-guarantee bound analysis of parameterized concurrent shared-memory programs: With an application to proving that non-blocking algorithms are bounded lock-free
Formal methods in system design, 2021-08, Vol.57 (2), p.270-302
2021
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Rely-guarantee bound analysis of parameterized concurrent shared-memory programs
Formal methods in system design, 2021-01, Vol.57 (2), p.270-302
2021
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Empirical software metrics for benchmarking of verification tools
Formal methods in system design, 2017, Vol.50 (2-3), p.289-316
2017
Link zum Volltext
Verfügbarkeit prüfen
1 – 6 von 6
Suche als RSS-Feed
Aktive Filter
KollektionIEEE Electronic Library (IEL)
KollektionSpringerLINK Contemporary (Konsortium Baden-Württemberg)
Suchergebnisse filtern
Filter anzeigen