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

model checkingformal languagesnatural deductionPetri netsformal verificationfinite state machinesgrammarsregular expressionstemporal logics

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Logic in computer science (03B70) 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)

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

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)