المؤلفون: Amilon, Jesper, Gurov, Dilian, Lidström, Christian, Nyberg, Mattias, Ung, Gustav, Wingbrant, Ola

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/2501.10889

المؤلفون: Amilon, Jesper, Esen, Zafer, Gurov, Dilian, Lidström, Christian, Rümmer, Philipp, Voorberg, Marten

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2412.06431

المؤلفون: Amilon, Jesper, Esen, Zafer, Gurov, Dilian, Lidström, Christian, Rümmer, Philipp

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Logic in Computer Science, D.2.4, F.3.1

URL الوصول: http://arxiv.org/abs/2306.00004

المؤلفون: Amilon, Jesper, Gurov, Dilian, 1964

المصدر: Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings. :8-25

مصطلحات موضوعية: Deductive verification, Flow graphs, Model checking

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-356656

المؤلفون: Amilon, Jesper, Esen, Zafer, Gurov, Dilian, 1964, Lidström, Christian, Rümmer, Philipp

المصدر: Computer Aided Verification. :281-304

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-336732
https://doi.org/10.1007/978-3-031-37709-9_14

المؤلفون: Amilon, Jesper

مصطلحات موضوعية: Formal Verification, Contract inference, Hoare Logic, Model Checking, Horn clauses, Formell verifikation, Kontraktgenerering, Formell semantik, Hoare logik, Modellprovning, Computer Sciences, Datavetenskap (datalogi)

وصف الملف: application/pdf

Relation: TRITA-EECS-EX ; 2021:584

الاتاحة: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-303867

المؤلفون: Amilon, Jesper, Lindeberg, Axel

مصطلحات موضوعية: Computer and Information Sciences, Data- och informationsvetenskap

وصف الملف: application/pdf

Relation: TRITA-EECS-EX ; 2019:326

الاتاحة: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-255157

المؤلفون: Ung, Gustav, Amilon, Jesper, Gurov, Dilian, 1964, Lidström, Christian, Nyberg, Mattias, Palmskog, Karl

المصدر: Proceedings - 32nd IEEE International Requirements Engineering Conference, RE 2024. :287-298

مصطلحات موضوعية: formal verification, Industrial requirements, requirements formalization

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-353526

المؤلفون: Amilon, Jesper, Esen, Zafer, Gurov, Dilian, Lidström, Christian, Rümmer, Philipp

مصطلحات الفهرس: Computer Sciences, Datavetenskap (datalogi), Chapter in book, info:eu-repo/semantics/bookPart, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-343806
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

المؤلفون: Gurov, Dilian, Christian Lidström, Amilon, Jesper, Ung, Gustav, Nyberg, Mattias

Relation: https://doi.org/10.5281/zenodo.13950182; https://doi.org/10.5281/zenodo.13950183; oai:zenodo.org:13950183

الاتاحة: https://doi.org/10.5281/zenodo.13950183

المؤلفون: Amilon, Jesper, Lidström, Christian, Gurov, Dilian, 1964

المصدر: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). :7-28

مصطلحات موضوعية: Contracts, Deductive verification, Model checking

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-329628

المؤلفون: Amilon, Jesper, Esen, Zafer, Gurov, Dilian, Lidström, Christian, Rümmer, Philipp

مصطلحات موضوعية: CAV, Artifact, Software verification, Program Instrumentation

Relation: https://doi.org/10.5281/zenodo.7875415; https://doi.org/10.5281/zenodo.7875416; oai:zenodo.org:7875416

الاتاحة: https://doi.org/10.5281/zenodo.7875416

المؤلفون: Amilon, Jesper, Lindeberg, Axel

مصطلحات موضوعية: Computer and Information Sciences, Data- och informationsvetenskap

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::993e23a5d36d3ba365d001207048d9b8
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-255157

المؤلفون: Amilon, Jesper, Lindeberg, Axel

مصطلحات موضوعية: Computer and Information Sciences, Data- och informationsvetenskap

وصف الملف: application/pdf

Relation: TRITA-EECS-EX; 2019:326

الاتاحة: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-255157