Formal methods in computer science

DOI10.1201/9780429184185MaRDI QIDQ4633947zbMATH OpenOpenAlexFDO

Authors Jiacun Wang, William M. Tepfenhart

Publication date 6 May 2019

Full work available at URL https://doi.org/10.1201/9780429184185

zbMATH Keywords

finite state machinesformal languagesformal verificationgrammarsmodel checkingnatural deductionPetri netsregular expressionstemporal logics

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Temporal logics in computer science. Finite-state systems
• Concise guide to formal methods. Theory, fundamentals and industry applications
• Petri nets. Theoretical models and analysis methods for concurrent systems
• Formal methods. An appetizer
• scientific article; zbMATH DE number 1646978

Cited in

(9)

• Concise guide to formal methods. Theory, fundamentals and industry applications
• scientific article; zbMATH DE number 5722463 (Why is no real title available?)
• scientific article; zbMATH DE number 4092761 (Why is no real title available?)
• scientific article; zbMATH DE number 1542048 (Why is no real title available?)
• scientific article; zbMATH DE number 1380218 (Why is no real title available?)
• scientific article; zbMATH DE number 1909430 (Why is no real title available?)
• scientific article; zbMATH DE number 795668 (Why is no real title available?)
• Formal methods. An appetizer
• Glushkov's algorithmic algebras and automated parallel computing design

This page was built for publication: Formal methods in computer science

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4633947)