• Suche: Model checking software

Treffer 1 - 20 von 545.337

1

Model Checking Software in Cyberphysical Systems
Sirjani, Marjan ; Lee, Edward A. ; Khamespanah, Ehsan
2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC) COMPSAC Computers, Software, and Applications Conference (COMPSAC), 2020 IEEE 44th Annual. :1017-1026 Jul, 2020

Konferenz
Merkliste
3

Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers
Model checking of software
Armando, A. ; Mantovani, J. ; Platania, L.
LECTURE NOTES IN COMPUTER SCIENCE. (3925):146-162

Konferenz
Merkliste
4

Abstract Matching for Software Model Checking
Model checking of software
de la Camara, P. ; del Mar Gallardo, M. ; Merino, P.
LECTURE NOTES IN COMPUTER SCIENCE. (3925):182-200

Konferenz
Merkliste
5

ACSAR: Software Model Checking with Transfinite Refinement
Model checking of software
Seghir, M. N. ; Podelski, A.
LECTURE NOTES IN COMPUTER SCIENCE. (4595):274-278

Konferenz
Merkliste
6

Memory Efficient State Space Storage in Explicit Software Model Checking
Model checking software
Evangelista, S. ; Pradat-Peyre, J.-F.
LECTURE NOTES IN COMPUTER SCIENCE. 3639:43-57

Konferenz
Merkliste
7

Software Model Checking for Mobile Security — Collusion Detection in K
Model checking software (International symposium)
Asăvoae, Irina Măriuca ; Nguyen, Hoang Nga ; Roggenbach, Markus
Lecture notes in computer science. 10869:3-25

Konferenz
Merkliste
11

Model Checking Software-Defined Networks with Flow Entries that Time Out
Klimis, Vasileios ; Parisis, George ; Reus, Bernhard
2020 Formal Methods in Computer Aided Design (FMCAD) Formal Methods in Computer Aided Design (FMCAD), 2020. :179-184 Sep, 2020

Konferenz
Merkliste
12

SMT-Based Software Model Checking (Invited Talk)
SPIN; Model checking software
Cimatti, A.
LECTURE NOTES IN COMPUTER SCIENCE. 6349:1-3

Konferenz
Merkliste
13

Model-Checking Software Library API Usage Rules
Integrated formal methods: 10th International Conference, IFM 2013
Song, F. ; Touili, T.
LECTURE NOTES IN COMPUTER SCIENCE. (7940):192-207

Konferenz
Merkliste
14

From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems
NASA formal methods
Remenska, D. ; Templon, J. ; Willemse, T.A.C. ; et al.
LECTURE NOTES IN COMPUTER SCIENCE. (7871):244-260

Konferenz
Merkliste
15

Model checking software product lines based on feature slicing
Huang, Ming-Yu ; Liu, Yu-Mei
International journal of computational science and engineering. 18(4):340-348

Zeitschrift
Merkliste
16

Model-Checking Software Using Precise Abstractions
VSTTE 2005; Verified software: first IFIP TC 2/WG 2.3 Conference
Chechik, M. ; Gurfinkel, A.
LECTURE NOTES IN COMPUTER SCIENCE. (4171):347-353

Konferenz
Merkliste
17

Model Checking Software Requirement Specifications Using Domain Reduction Abstraction
Automated software engineering
Choi, Y. ; Heimdahl, M.
IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING. :314-317

Konferenz
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter