Suchergebnisse - Software/Program Verification— Model checking General Terms Design

Anquiro: enabling efficient static verification of sensor network software

Autoren: Luca Mottola Thiemo Voigt Fredrik Österlind et al.

Weitere Verfasser: Luca Mottola Thiemo Voigt Fredrik Österlind et al.

Quelle: http://www.sics.se/~luca/papers/mottola10anquiro.pdf.

Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Model checking General Terms Design, Verification Keywords Wireless sensor networks, Static verification

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.379.9985; http://www.sics.se/~luca/papers/mottola10anquiro.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.379.9985
http://www.sics.se/~luca/papers/mottola10anquiro.pdf

Inductive Verification of Data Model Invariants for Web Applications ∗

Autoren: Ivan Bocić Tevfik Bultan The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Ivan Bocić Tevfik Bultan The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cs.ucsb.edu/~bultan/publications/icse14.pdf.

Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Model checking, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Invariants, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms Design, Verification Keywords Automated verification, data model, inductive invariants, Ruby on Rails

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.433.1629; http://www.cs.ucsb.edu/~bultan/publications/icse14.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.433.1629
http://www.cs.ucsb.edu/~bultan/publications/icse14.pdf

ASTROLABE: A Rigorous Approach for System-Level Performance Modeling and Analysis

Autoren: Nouri, Ayoub Bozga, Marius Molnos, Anca et al.

Weitere Verfasser: Nouri, Ayoub Bozga, Marius Molnos, Anca et al.

Quelle: ACM Transactions on Embedded Computing Systems. 15:1-26

Schlagwörter: C4 [Performance of Systems]: Software/Program Verification, Performance, Statistics, model-based design, 02 engineering and technology, [INFO] Computer Science [cs], performance evaluation, I64 [Model Validation and Analysis], I65 [Model Development], Stochastic Models, 0202 electrical engineering, electronic engineering, information engineering, G3 [Probability and Statistics] General Terms: Design, [INFO]Computer Science [cs], Formal Methods Additional Key Words and Phrases: Many-cores

Zugangs-URL: https://inria.hal.science/hal-01406474v1
https://doi.org/10.1145/2885498
https://dl.acm.org/doi/10.1145/2885498
https://hal.inria.fr/hal-01406474
https://doi.acm.org/10.1145/2885498
https://doi.org/10.1145/2885498
https://dblp.uni-trier.de/db/journals/tecs/tecs15.html#NouriBMLB16

Interaction engineering using the IVY tool

Autoren: José C. Campos Michael D. Harrison The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: José C. Campos Michael D. Harrison The Pennsylvania State University CiteSeerX Archives

Quelle: http://www3.di.uminho.pt/~jfc/pub/papers/eics141-campos.pdf.

Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification – model checking. D.2.2 [Software Engineering, Design Tools and Techniques – user interfaces. H.5.2 [Information Interfaces and Presentation, User Interfaces – theory and methods. General Terms Design, Reliability, Human Factors, Verification. Keywords Formal Methods, model-based usability analysis

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.583.2379

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.583.2379
http://www3.di.uminho.pt/~jfc/pub/papers/eics141-campos.pdf

An Approach to Improve Accuracy in Probabilistic Models using State Refinement ABSTRACT

Autoren: Paulo H. Maia Jeff Kramer Sebastian Uchitel et al.

Weitere Verfasser: Paulo H. Maia Jeff Kramer Sebastian Uchitel et al.

Quelle: http://www.doc.ic.ac.uk/research/technicalreports/2009/DTR09-5.pdf.

Schlagwörter: D.2.4 [Software Engineering, Software / Program Verification—model checking, statistical methods, verification. General Terms Design, Languages, Theory, Verification. Keywords Probabilistic model checking

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.309.9579

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.309.9579
http://www.doc.ic.ac.uk/research/technicalreports/2009/DTR09-5.pdf

Contagious acquisition of antimicrobial resistance is critical for explaining emergence in western Canadian feedlots—insights from an agent-based modelling tool.

Autoren: Ramsay, Dana McDonald, Wade Thompson, Michelle et al.

Quelle: Frontiers in Veterinary Science. 2025, p1-26. 26p.

Comparison of two software programs for fitting one- and two-compartment age-dependent non-linear digestion models for ruminants: empirical data.

Autoren: Gunter, S. A. Gadberry, M. S. Coffey, K. P. et al.

Quelle: Animal Production Science. Oct2022, Vol. 62 Issue 16, p1630-1638. 9p.

Web Services : a Process Algebra Approach

Autoren: Andrea Ferrara The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Andrea Ferrara The Pennsylvania State University CiteSeerX Archives

Quelle: http://delivery.acm.org/10.1145/1040000/1035202/p242-ferrara.pdf?CFID%3D285175458%26CFTOKEN%3D53597775%26__acm__%3D1362002188_b478bb0fce0e4c80f94dc3671311e7c6%26acc%3DACTIVE+SERVICE%26ip%3D130.203.136.92.

Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software / Program Verification—Model checking, Formal methods, D.2.1 [Software Engineering, Requirements / Specifications—Languages (Lotos) General Terms Design, Languages, Verification Keywords BPEL4WS, Process Algebra, Web Services

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.330.8315

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.330.8315
https://doi.org/10.1145/1040000/1035202/p242-ferrara.pdf?CFID%3D285175458%26CFTOKEN%3D53597775%26__acm__%3D1362002188_b478bb0fce0e4c80f94dc3671311e7c6%26acc%3DACTIVE+SERVICE%26ip%3D130.203.136.92

A Balance of Power: Expressive, Analyzable Controller Programming

Autoren: Daniel J. Dougherty Tim Nelson Kathi Fisler et al.

Weitere Verfasser: Daniel J. Dougherty Tim Nelson Kathi Fisler et al.

Quelle: http://conferences.sigcomm.org/sigcomm/2013/papers/hotsdn/p79.pdf.

Schlagwörter: Categories and Subject Descriptors C.2.3 [Computer-Communication Networks, Network Operations—Network management, D.2.4 [Software Engineering, Software/Program Verification—Model checking, D.3 [Programming Languages, Miscellaneous General Terms Design, Languages, Verification Keywords Software-DefinedNetworks, OpenFlow, Verification, Network- Programming Languages

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.413.7498; http://conferences.sigcomm.org/sigcomm/2013/papers/hotsdn/p79.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.413.7498
http://conferences.sigcomm.org/sigcomm/2013/papers/hotsdn/p79.pdf

Symbolic Model Checking on SystemC Designs.

Autoren: Chun-Nan Chou Yen-Sheng Ho Chiao Hsieh et al.

Quelle: DAC: Annual ACM/IEEE Design Automation Conference; Jun2012, p327-333, 7p, 7 Diagrams, 1 Chart, 1 Graph

Schlagwörter: SOFTWARE verification, SYSTEMS design, COMPUTER simulation, SCALABILITY, COMPUTER networks, SEMANTIC computing

System Analysis and Modeling Group

Autoren: Martin Hirsch Stefan Henkler Holger Giese et al.

Weitere Verfasser: Martin Hirsch Stefan Henkler Holger Giese et al.

Quelle: https://mailserver.di.unipi.it/ricerca/proceedings/ICSE2008/seams/p33.pdf.

Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— model checking, D.2.11 [Software Engineering, Software Archi- tectures—domain-specific architectures General Terms Design, Verification ∗This work was partly developed in the course of the Special Re

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.452.6975

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.452.6975

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

Autoren: Armin Biere David Parker

Resource Type: eBook.

Schlagworte: System design--Congresses, System analysis--Congresses, Computer software--Verification--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Hardware / General, MATHEMATICS / Applied

Comparative Analysis between 3D-Printed Models Designed with Generic and Dental-Specific Software.

Autoren: Abad-Coronel, Cristian Pazán, Doménica Patricia Hidalgo, Lorena et al.

Quelle: Dentistry Journal; Sep2023, Vol. 11 Issue 9, p216, 13p

Schlagwörter: DESIGN software, SOFTWARE architecture, COMPUTER software, 3-D printers, COMPARATIVE studies

Improving Urban Stormwater Management Using the Hydrological Model of Water Infiltration by Rain Gardens Considering the Water Column.

Autoren: Kravchenko, Maryna Wrzesiński, Grzegorz Pawluk, Katarzyna et al.

Quelle: Water (20734441); Aug2024, Vol. 16 Issue 16, p2339, 27p

Schlagwörter: URBAN runoff management, STORMWATER infiltration, URBAN runoff, RAIN gardens, DARCY'S law

Artificial Intelligence: Preface, Applications and Future Perspective in Relation to Pharmaceutical Sector.

Autoren: Singh, Supriya Kumar, Sanket Quadir, Sheikh Shahnawaz et al.

Quelle: Journal of Pharmaceutical Innovation; Apr2025, Vol. 20 Issue 2, p1-22, 22p

Enhancing decadal snowfall forecasts in the Mediterranean mountains through informed atmospheric variability and climate data.

Autoren: Diodato, Nazzareno Rubinetti, Sara Bellocchi, Gianni

Quelle: Hydrological Sciences Journal/Journal des Sciences Hydrologiques; Feb2025, Vol. 70 Issue 2, p294-310, 17p

Schlagwörter: CIRCULATION models, STATISTICAL models, AUTOREGRESSIVE models, WATER management, STANDARD deviations

Unified verification and monitoring of executable UML specifications: A transformation-free approach.

Autoren: Besnard, Valentin Teodorov, Ciprian Jouault, Frédéric et al.

Quelle: Software & Systems Modeling; Dec2021, Vol. 20 Issue 6, p1825-1855, 31p

Schlagwörter: SOFTWARE verification, SYSTEMS engineering, ENGINEERING systems, SYSTEMS software, USER interfaces, FORMAL languages

The Digital Roadmap for Edentulous Patients in Implant Prosthodontics.

Autoren: Rutten, Luc Rutten, Patrick

Quelle: Quintessence of Dental Technology (QDT); 2023, Vol. 45, p84-115, 32p

Comparison of Large Language Models in Diagnosis and Management of Challenging Clinical Cases.

Autoren: Shanmugam, Sujeeth Krishna Browning, David J

Quelle: Clinical Ophthalmology; Nov2024, Vol. 18, p3239-3247, 9p

Schlagwörter: LANGUAGE models, CHATGPT, CHATBOTS, MEDICAL societies, EIGHTH grade (Education), READABILITY (Literary style)

Model Checking Lots of Systems.

Autoren: Classen, Andreas Heymans, Patrick Schobbens, Pierre-Yves et al.

Quelle: ICSE: International Conference on Software Engineering; 2010, p335-344, 10p, 4 Diagrams

Schlagwörter: SOFTWARE product line engineering, COMPUTER software development, SOFTWARE engineering, SOFTWARE verification, MATHEMATICAL models