Dynamic logic : new trends and applications : second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings /
Dynamic logic : new trends and applications : second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings /
DaLí 2019
Luís Soares Barbosa, Alexandru Baltag (eds.).
- 1 online resource (x, 227 pages) : illustrations (some color)
- Lecture notes in computer science ; 12005 LNCS sublibrary. SL 1, Theoretical computer science and general issues .
- Lecture notes in computer science ; 12005. LNCS sublibrary. SL 1, Theoretical computer science and general issues. .
Includes author index.
Logic and verification -- Dynamic logics.-Modal and temporal logics.-Epistemic logics -- Program semantics -- Program reasoning Pre- and post- conditions -- Program verification.
This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal in October 2019. The workshop was held in Porto, Portugal, on October 9, 2019, as part of the Formal Methods Week which hosted the 3rd World Congress on Formal Methods. The 12 full papers presented together with 2 short papers were carefully reviewed and selected from 26 submissions. The workshop is based on the project DaLí - Dynamic logics for cyber-physical systems: towards contract based design.
9783030388089 3030388085
10.1007/978-3-030-38
Computer logic--Congresses.
Software engineering--Congresses.
Logique informatique--Congrès.
Génie logiciel--Congrès.
Expert systems--knowledge-based systems.
Systems analysis & design.
Artificial intelligence.
Software Engineering.
Programming & scripting languages: general.
Computer programming--software development.
Computers--Expert Systems.
Computers--Information Technology.
Computers--Intelligence (AI) & Semantics.
Computers--Software Development & Engineering--General.
Computers--Programming Languages--General.
Computers--Programming--General.
Computer logic
Software engineering
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
QA76.9.L63
005.1015113
Includes author index.
Logic and verification -- Dynamic logics.-Modal and temporal logics.-Epistemic logics -- Program semantics -- Program reasoning Pre- and post- conditions -- Program verification.
This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal in October 2019. The workshop was held in Porto, Portugal, on October 9, 2019, as part of the Formal Methods Week which hosted the 3rd World Congress on Formal Methods. The 12 full papers presented together with 2 short papers were carefully reviewed and selected from 26 submissions. The workshop is based on the project DaLí - Dynamic logics for cyber-physical systems: towards contract based design.
9783030388089 3030388085
10.1007/978-3-030-38
Computer logic--Congresses.
Software engineering--Congresses.
Logique informatique--Congrès.
Génie logiciel--Congrès.
Expert systems--knowledge-based systems.
Systems analysis & design.
Artificial intelligence.
Software Engineering.
Programming & scripting languages: general.
Computer programming--software development.
Computers--Expert Systems.
Computers--Information Technology.
Computers--Intelligence (AI) & Semantics.
Computers--Software Development & Engineering--General.
Computers--Programming Languages--General.
Computers--Programming--General.
Computer logic
Software engineering
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
QA76.9.L63
005.1015113