Formal Methods

Contributors: Platzer, Andre, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo

Subject Terms: architecture verification and validation, artificial intelligence, design and analysis of algorithms, computational complexity and cryptography, embedded systems, model checking, formal methods, formal logic, machine learning, formal languages and automata theory, models of computation, semantics and reasoning, software engineering, theory and algorithms for application domains, Software Engineering, Mathematical theory of computation, Expert systems / knowledge-based systems, Programming and scripting languages: general, Computer hardware, Natural language and machine translation

File Description: image/png; image/jpeg

Relation: Lecture Notes in Computer Science

Access URL: https://directory.doabooks.org/handle/20.500.12854/144770
https://library.oapen.org/handle/20.500.12657/93255
https://library.oapen.org/bitstream/20.500.12657/93255/1/978-3-031-71177-0.pdf

Formal Methods

Contributors: Platzer, Andre, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo

Subject Terms: architecture verification and validation, artificial intelligence, design and analysis of algorithms, computational complexity and cryptography, embedded systems, model checking, formal methods, formal logic, machine learning, formal languages and automata theory, models of computation, semantics and reasoning, software engineering, theory and algorithms for application domains, Software Engineering, Mathematical theory of computation, Expert systems / knowledge-based systems, Programming and scripting languages: general, Computer hardware, Natural language and machine translation

File Description: application/pdf

Relation: Lecture Notes in Computer Science

Access URL: https://library.oapen.org/handle/20.500.12657/93255

Computer Aided Verification

Contributors: Enea, Constantin, Lal, Akash

Subject Terms: architecture verification and validation, artificial intelligence, computer programming, distributed computer systems, formal logic, software engineering, distributed systems, model checking, programming languages, software quality, theory of computation

File Description: image/jpeg

Relation: Lecture Notes in Computer Science

Access URL: https://directory.doabooks.org/handle/20.500.12854/112854
https://library.oapen.org/handle/20.500.12657/75412
https://library.oapen.org/bitstream/20.500.12657/75412/1/978-3-031-37706-8.pdf

Computer Aided Verification

Contributors: Shoham, Sharon, Vizel, Yakir

Subject Terms: architecting, architecture verification and validation, artificial intelligence, computer programming, computer science, computer systems, distributed computer systems, distributed systems, embedded systems, formal logic, mathematics, model checking, programming languages, software architecture, software design, software engineering, software quality, theoretical computer science, verification, verification and validation, Software Engineering, Artificial intelligence, Algorithms and data structures, Computer networking and communications

File Description: image/jpeg

Relation: Lecture Notes in Computer Science

Access URL: https://directory.doabooks.org/handle/20.500.12854/91308
https://library.oapen.org/handle/20.500.12657/57930
https://library.oapen.org/bitstream/20.500.12657/57930/1/978-3-031-13185-1.pdf

Fundamental Approaches to Software Engineering

Contributors: Johnsen, Einar Broch, Wimmer, Manuel

Subject Terms: architecture verification and validation, distributed computer systems, embedded systems, empirical software validation, formal methods, model checking, model-driven software engineering, object-oriented programming, program analysis, software performance, software quality, software testing and debugging, Software Engineering, Computer science, Algorithms and data structures, Systems analysis and design, Computing and Information Technology, Natural language and machine translation

File Description: image/jpeg

Relation: Lecture Notes in Computer Science

Access URL: https://directory.doabooks.org/handle/20.500.12854/81637
https://library.oapen.org/handle/20.500.12657/54029
https://library.oapen.org/bitstream/20.500.12657/54029/1/978-3-030-99429-7.pdf

Tools and Algorithms for the Construction and Analysis of Systems

Contributors: Groote, Jan Friso, Larsen, Kim Guldstrand

Subject Terms: Theory of Computation, Computer Systems Organization and Communication Networks, Control Structures and Microprogramming, Software Engineering, Computer Engineering and Networks, architecture verification and validation, automata theory, computer systems, distributed computer systems, embedded systems, formal logic, mathematics, model checking, model-checking, parallel processing systems, SAT and SMT solving, software architecture, static and dynamic program analysis, theorem-proving, verification and validation, Computer science, Mathematical theory of computation, Computer networking & communications, Algorithms & data structures, Computer networking and communications, Computer programming / software engineering

File Description: image/png; image/jpeg

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Access URL: https://directory.doabooks.org/handle/20.500.12854/67936
https://library.oapen.org/handle/20.500.12657/48219
https://library.oapen.org/bitstream/20.500.12657/48219/1/9783030720131.pdf

Fundamental Approaches to Software Engineering

Contributors: Guerra, Esther, Stoelinga, Mariëlle

Subject Terms: Software Engineering/Programming and Operating Systems, Data Structures and Information Theory, Natural Language Processing (NLP), Programming Techniques, Theory of Computation, Software Engineering, architecture verification and validation, artificial intelligence, embedded systems, empirical software validation, formal logic, formal methods, model checking, model-driven software engineering, object-oriented programming, parallel processing systems, program analysis, program compilers, signal processing, software architecture, software performance, software selection and adaptation, software testing and debugging, telecommunication systems, verification, Operating systems, Algorithms & data structures, Information theory, Natural language & machine translation, Computer programming / software engineering, Computer science, Mathematical theory of computation, Artificial intelligence

File Description: image/png; image/jpeg

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Access URL: https://directory.doabooks.org/handle/20.500.12854/67919
https://library.oapen.org/handle/20.500.12657/48217
https://library.oapen.org/bitstream/20.500.12657/48217/1/9783030715007.pdf

Testing Software and Systems: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings

Authors: Bonfanti, Silvia, Gargantini, Angelo, Salvaneschi, Paolo

Source: Lecture Notes in Computer Science ISBN: 9783031432392

Subject Terms: Architecting, architecture verification and validation, artificial intelligence, automata theory, computer hardware, Software testing, Software engineering, Verification, Model-based testing, Combinatorial testing, Functional testing, Compositional testing, Fuzzing testing, Regression testing, Mobile testing, Test automation, Security testing, Software vulnerability, Smart contracts, Property-oriented testing

File Description: application/pdf

Access URL: https://link.springer.com/book/10.1007/978-3-031-43240-8
https://doi.org/10.1007/978-3-031-43240-8
https://hdl.handle.net/10446/255990

Computer Aided Verification

Contributors: Lahiri, Shuvendu K., Wang, Chao

Subject Terms: Software Engineering, Theory of Computation, Artificial Intelligence, Computer Systems Organization and Communication Networks, Computer Hardware, Simulation and Modeling, Computer Engineering and Networks, Computer Science, architecture verification and validation, artificial intelligence, automata theory, computer systems, correlation analysis, distributed computer systems, embedded systems, formal languages, formal logic, linguistics, model checking, programming languages, semantics, software architecture, software design, software quality, verification and validation, Open Access, Computer science, Mathematical theory of computation, Artificial intelligence, Computer networking & communications, Computer hardware, Computer modelling & simulation, Computer networking and communications, Computer modelling and simulation

File Description: image/jpeg

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Access URL: https://directory.doabooks.org/handle/20.500.12854/35502
https://library.oapen.org/handle/20.500.12657/41296
https://library.oapen.org/bitstream/20.500.12657/41296/1/2020_Book_ComputerAidedVerification.pdf

Integrated Formal Methods - Proceedings of the 17th International Conference on Integrated Formal Methods (IFM'22)

Authors: MH ter Beek, R Monahan

Source: info:cnr-pdr/source/autori:M.H. ter Beek; R. Monahan/titolo:Integrated Formal Methods-Proceedings of the 17th International Conference on Integrated Formal Methods (IFM'22)/editore:/anno:2022

Subject Terms: Signal processing, Artificial intelligence, Model checking, Software engineering, Embedded systems, Formal methods, Architecture verification and validation, Software architecture, Verification and validation, Software quality, Programming languages, Computer programming, Computer systems, Formal logic, Graph theory, Formal languages, Engineering, Theoretical computer science, Software design

File Description: application/pdf

Access URL: https://link.springer.com/book/10.1007/978-3-031-07727-2
https://hdl.handle.net/20.500.14243/444218
https://doi.org/10.1007/978-3-031-07727-2

Coordination Models and Languages - Proceedings of the 24th International Conference on Coordination Models and Languages (COORDINATION'22)

Authors: ter Beek MH, Sirjani M

Source: info:cnr-pdr/source/autori:ter Beek M.H.; Sirjani M./titolo:Coordination Models and Languages-Proceedings of the 24th International Conference on Coordination Models and Languages (COORDINATION'22)/editore:/anno:2022

Subject Terms: Signal processing, Artificial intelligence, Internet, Software engineering, Embedded systems, Architecture verification and validation, Software architecture, Software quality, Linguistics, Computer programming, Computer systems, Distributed systems, Distributed computer systems, Graph theory, Engineering, Computer Science, Software design, Architecting, Computer networks, Mathematics

File Description: application/pdf

Access URL: https://hdl.handle.net/20.500.14243/442233
https://doi.org/10.1007/978-3-031-08143-9
https://link.springer.com/book/10.1007/978-3-031-08143-9

Transactions on Petri Nets and Other Models of Concurrency XVI

Authors: Koutny, Maciej, Kordon, Fabrice, Moldt, Daniel

Contributors: Kordon, Fabrice

Source: Lecture Notes in Computer Science ISBN: 9783662653029
Lecture Notes in Computer Science ISBN: 9783662630785

Subject Terms: architecture verification and validation, software architecture, graph theory, verification and validation, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], petri nets, Petri Nets, Models of Concurrency, artificial intelligence, software quality, automata theory, software design, model checking, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, computer programming, programming languages, embedded systems, formal logic, verification, software engineering, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

File Description: application/pdf

Access URL: https://hdl.handle.net/10281/370572
https://doi.org/10.1007/978-3-662-63079-2
https://hal.sorbonne-universite.fr/hal-03157708v1
https://doi.org/10.1007/978-3-662-63079-2

Formal Methods ; 978-3-031-71177-0.pdf

Contributors: Platzer, Andre, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo

Subject Terms: architecture verification and validation, artificial intelligence, design and analysis of algorithms, computational complexity and cryptography, embedded systems, model checking, formal methods, formal logic, machine learning, formal languages and automata theory, models of computation, semantics and reasoning, software engineering, theory and algorithms for application domains, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general, thema EDItEUR::U Computing and Information Technology::UK Computer hardware, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation

File Description: application/pdf

Relation: Lecture Notes in Computer Science; ONIX_20240913_9783031711770_29

Availability: https://library.oapen.org/handle/20.500.12657/93255
https://hdl.handle.net/20.500.12657/93255
https://link.springer.com/978-3-031-71177-0

Formal Methods ; 978-3-031-71162-6.pdf

Contributors: Platzer, André, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo

Subject Terms: architecture verification and validation, artificial intelligence, design and analysis of algorithms, computational complexity and cryptography, embedded systems, model checking, formal methods, formal logic, machine learning, formal languages and automata theory, models of computation, semantics and reasoning, software engineering, theory and algorithms for application domains, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general, thema EDItEUR::U Computing and Information Technology::UK Computer hardware, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation

File Description: application/pdf

Relation: Lecture Notes in Computer Science; ONIX_20240913_9783031711626_28

Availability: https://library.oapen.org/handle/20.500.12657/93254
https://hdl.handle.net/20.500.12657/93254
https://link.springer.com/978-3-031-71162-6

From data to models and back:10th international symposium, DataMod 2021, virtual event, December 6–7, 2021, revised selected papers

Contributors: Kuster Filipe Bowles, Juliana, Broccia, Giovanna, Pellungrini, Roberto

Source: Kuster Filipe Bowles , J , Broccia , G & Pellungrini , R (eds) 2022 , From data to models and back : 10th international symposium, DataMod 2021, virtual event, December 6–7, 2021, revised selected papers . Lecture notes in computer science , vol. 13268 , Springer , Cham . https://doi.org/10.1007/978-3-031-16011-0

Subject Terms: Architecting, Architecture verification and validation, Artificial intelligence, Computer networks, Correlation analysis, Data mining, Databases, Embedded systems, Formal logic, Formal methods, Machine learning, Model checking, Network protocols, Signal processing, Software architecture, Software design, Software engineering, Theoretical computer science

Relation: urn:ISBN:9783031160103

Availability: https://research-portal.st-andrews.ac.uk/en/publications/a878bfea-f7a3-4e71-ba6f-98192779864a
https://doi.org/10.1007/978-3-031-16011-0
https://discover.libraryhub.jisc.ac.uk/search?isn=9783031160103&rn=1

Testing Software and Systems ; Testing Software and Systems: 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10–12, 2021, Proceedings

Authors: Clark, David, Menéndez, Héctor D., Cavalli, Ana, R

Contributors: Los Alamos National Laboratory (LANL), University College of London London (UCL), Institut Polytechnique de Paris (IP Paris), Département Réseaux et Services Multimédia Mobiles (TSP - RS2M), Institut Mines-Télécom Paris (IMT)-Télécom SudParis (TSP), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris), Architecture, Cloud continuum, formal Models, artificial intElligence and Services in distributed computing (ACMES-SAMOVAR), Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (SAMOVAR), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Institut Mines-Télécom Paris (IMT)-Télécom SudParis (TSP), Centre National de la Recherche Scientifique (CNRS)

Source: IFIP International Conference on Testing Software and Systems (ICTSS) ; https://hal.science/hal-04478239 ; IFIP International Conference on Testing Software and Systems (ICTSS), 13045, 2022, Lecture Notes in Computer Science, 978-3-031-04673-5. ⟨10.1007/978-3-031-04673-5⟩

Subject Terms: Architecting, Architecture verification and validation, Artificial intelligence, Automata theory, Computer hardware, Computer networks, Computer programming, Computer systems, Embedded systems, Field Programmable Gate Array (FPGA), Finite automata, Finite state machines, Microprocessor chips, Programming languages, Software architecture, Software design, Software engineering, Theoretical computer science, [INFO]Computer Science [cs]

Availability: https://hal.science/hal-04478239
https://doi.org/10.1007/978-3-031-04673-5

Computer Aided Verification ; 978-3-031-37706-8.pdf

Contributors: Enea, Constantin, Lal, Akash

Subject Terms: architecture verification and validation, artificial intelligence, computer programming, distributed computer systems, formal logic, software engineering, distributed systems, model checking, programming languages, software quality, theory of computation

File Description: application/pdf

Relation: Lecture Notes in Computer Science; ONIX_20230814_9783031377068_32; OCN: 1390710955

Availability: https://library.oapen.org/handle/20.500.12657/75412
https://hdl.handle.net/20.500.12657/75412
https://link.springer.com/978-3-031-37706-8

Computer Aided Verification ; 978-3-031-37703-7.pdf

Contributors: Enea, Constantin, Lal, Akash

Subject Terms: architecture verification and validation, artificial intelligence, computer programming, distributed computer systems, formal logic, embedded systems, model checking, programming languages, software architecture, software design, software quality, logic and verification

File Description: application/pdf

Relation: Lecture Notes in Computer Science; ONIX_20230814_9783031377037_31; OCN: 1391143757

Availability: https://library.oapen.org/handle/20.500.12657/75410
https://hdl.handle.net/20.500.12657/75410
https://link.springer.com/978-3-031-37703-7

Computer Aided Verification ; 978-3-031-37709-9.pdf

Contributors: Enea, Constantin, Lal, Akash

Subject Terms: architecture verification and validation, artificial intelligence, computer programming, computer systems, distributed systems, embedded systems, formal logic, model checking, programming languages, software architecture, software design, software quality, software engineering, logic and verification

File Description: application/pdf

Relation: Lecture Notes in Computer Science; ONIX_20230814_9783031377099_33; OCN: 1390709841

Availability: https://library.oapen.org/handle/20.500.12657/75413
https://hdl.handle.net/20.500.12657/75413
https://link.springer.com/978-3-031-37709-9

Fundamental Approaches to Software Engineering ; 978-3-030-99429-7.pdf

Contributors: Johnsen, Einar Broch, Wimmer, Manuel

Subject Terms: architecture verification and validation, distributed computer systems, embedded systems, empirical software validation, formal methods, model checking, model-driven software engineering, object-oriented programming, program analysis, software performance, software quality, software testing and debugging

File Description: application/pdf

Relation: Lecture Notes in Computer Science; ONIX_20220413_9783030994297_24; OCN: 1308973774

Availability: https://library.oapen.org/handle/20.500.12657/54029
https://hdl.handle.net/20.500.12657/54029
https://link.springer.com/978-3-030-99429-7