Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Juli 2022
Genre:	EDV / Informatik
	architectureverificationandvalidation / Computerhardware / computerprogramming / Concurrency / CryptographicProtocols / Diskrete Mathematik / distributedcomputersystems / embeddedsystems / formallogic / formalmethods / formalsecuritymodels / graphtheory / Linguistics / logicandverification / modelchecking / Object-OrientedProgramming / parallelprocessingsystems / RewritingLogic / Simulation / Software Engineering / Softwaredesign / Softwareengineering / termrewriting mehr...
ISBN:	9783031124402
EAN-Code:	9783031124402
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 17 mm
Gewicht:	464 gr
Seiten:	304
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

¿Invited Papers.- From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes.- Rewriting Privacy.- Invited Tutorials and Experience Report.- Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method.- An Overview of the Maude Strategy Language and its Applications.- Teaching Formal Methods to Undergraduate Students Using Maude.- Regular Papers.- Business Processes Analysis with Resource-aware Machine Learning Scheduling in Rewriting Logic.- Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude.- An Efficient Canonical Narrowing Implementation for Protocol Analysis.- Checking Sufficient Completeness by Inductive Theorem Proving.- On Ground Convergence and Completeness of Conditional Equational Program Hierarchies.- Automating Safety Proofs about Cyber-Physical Systems using Rewriting ModuloSMT.- Executable Semantics and Type Checking for Session-Based Concurrency in Maude.- Tool Papers.- Parallel Maude-NPA for Cryptographic Protocol Analysis.- Maude as a Library: An Efficient All-Purpose Programming Interface.